Database
BASIC TOPOLOGY
Topology
Product topologies
cxko
Next ⟩
df-tx
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cxko
Description:
Extend class notation with a function whose value is the compact-open topology.
Ref
Expression
Assertion
cxko
class
↑
ko