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

Next ⟩ cmfs

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmsta

Description: The set of statements.

		Ref	Expression
	Assertion	cmsta	$class mStat$