Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Topology and algebraic structures
Topological Manifolds
cmntop
Next ⟩
df-mntop
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmntop
Description:
The class of n-manifold topologies.
Ref
Expression
Assertion
cmntop
class
ManTop