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

Next ⟩ cmvl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmuv

Description: The universe of a model.

		Ref	Expression
	Assertion	cmuv	$class mUV$