Commit 2018-09-24 21:31 6434658c

View on Github →

feat(analysis/topology): locally compact spaces and the compact-open topology

Estimated changes

added def coev
added def compact_open
added def compact_open_gen
added theorem continuous_coev
added theorem continuous_ev
added theorem continuous_induced
added def ev
added theorem image_coev