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