Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Zhi Wang
Categories
Swap functors
cswapf
Next ⟩
df-swapf
Metamath Proof Explorer
Ascii
Unicode
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