Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of formal systems
cmdl

Next ⟩ cusyn

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmdl

Description: The set of models.

		Ref	Expression
	Assertion	cmdl	$class mMdl$