cswapf - Mathbox for Zhi Wang

	Mathbox for Zhi Wang		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cswapf		Structured version Visualization version GIF version

Syntax Definition cswapf 48938

Description: Extend class notation with the class of swap functors.

**Assertion**
Ref	Expression
cswapf	class swap_F

See definition df-swapf 48939 for more information.

Colors of variables: wff setvar class