Metamath Proof Explorer


Syntax definition cmty

Description: The type function.

Ref Expression
Assertion cmty
class mType