Metamath Proof Explorer

Syntax definition cswapf

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

Ref Expression
Assertion cswapf class swapF