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

Next ⟩ cmsr

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmpst

Description: The set of pre-statements.

		Ref	Expression
	Assertion	cmpst	$class mPreSt$