This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
BASIC STRUCTURES
Moore spaces
cmrc
Next ⟩
cmri
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmrc
Description:
The class function generating Moore closures.
Ref
Expression
Assertion
cmrc
class
mrCls