Database
BASIC STRUCTURES
Moore spaces
cmre

Next ⟩ cmrc

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmre

Description: The class of Moore systems.

		Ref	Expression
	Assertion	cmre	class Moore