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

Next ⟩ cmdv

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmex

Description: The set of expressions.

		Ref	Expression
	Assertion	cmex	class mEx