Database
BASIC STRUCTURES
Moore spaces
cmrc

Next ⟩ cmri

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmrc

Description: The class function generating Moore closures.

		Ref	Expression
	Assertion	cmrc	class mrCls