Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmax

Next ⟩ cmrex

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmax

Description: The set of axioms.

		Ref	Expression
	Assertion	cmax	class mAx