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