Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmfs
Next ⟩
cmcls
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmfs
Description:
The set of formal systems.
Ref
Expression
Assertion
cmfs
class
mFS