Database
BASIC TOPOLOGY
Metric spaces
Topological definitions using the reals
cii
Next ⟩
ccncf
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cii
Description:
Extend class notation with the unit interval.
Ref
Expression
Assertion
cii
class
II