Database
BASIC TOPOLOGY
Metric spaces
Path homotopy
cphtpc
Next ⟩
df-htpy
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cphtpc
Description:
Extend class notation with the path homotopy relation.
Ref
Expression
Assertion
cphtpc
class ~=ph