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