Def continuous_map.restrict

Modification history

2021-09-10 16:18
src/topology/continuous_function/basic.lean
feat(topology/compact_open): express the compact-open topology as an Inf of topologies (#9106) …
Added continuous_map.restrictView on Github →