Database
BASIC TOPOLOGY
Metric spaces
The fundamental group
comn
Next ⟩
cpi1
Metamath Proof Explorer
Unicode
Structured
Syntax definition
comn
Description:
Extend class notation with the higher loop spaces.
Ref
Expression
Assertion
comn
class OmN