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

Next ⟩ cmex

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmrex

Description: The set of raw expressions.

		Ref	Expression
	Assertion	cmrex	$class mREx$