Database
BASIC TOPOLOGY
Metric spaces
The fundamental group
cpin
Next ⟩
df-pco
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cpin
Description:
Extend class notation with the higher homotopy groups.
Ref
Expression
Assertion
cpin
class piN