Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Grammatical formal systems
cm0s
Next ⟩
cmsa
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cm0s
Description:
Mapping expressions to statements.
Ref
Expression
Assertion
cm0s
class m0St