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

Next ⟩ cmthm

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmpps

Description: The set of provable pre-statements.

		Ref	Expression
	Assertion	cmpps	class mPPSt