Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Peter Mazsa
Notations
csyms
Next ⟩
csymrels
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csyms
Description:
Extend the definition of a class to include the symmetry class.
Ref
Expression
Assertion
csyms
class
Syms