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

Next ⟩ cmvt

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmty

Description: The type function.

		Ref	Expression
	Assertion	cmty	class mType