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

Next ⟩ cmfitp

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmitp

Description: The interpretation function of the model.

		Ref	Expression
	Assertion	cmitp	$class mItp$