Metamath Proof Explorer


Syntax definition cmoore

Description: Syntax for the class of Moore collections.

Ref Expression
Assertion cmoore class Moore