Metamath Proof Explorer


Syntax definition cswapf

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

Ref Expression
Assertion cswapf Could not format assertion : No typesetting found for class swapF with typecode class