Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Path-connected and simply connected spaces
csconn
Next ⟩
df-pconn
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csconn
Description:
Extend class notation with the class of simply connected topologies.
Ref
Expression
Assertion
csconn
class
SConn