Metamath Proof Explorer


Syntax definition cmre

Description: The class of Moore systems.

Ref Expression
Assertion cmre class Moore