mathlib
6ea81683 - refactor(topology/compact_open): use bundled continuous maps (#9351)

Commit

4 years ago

refactor(topology/compact_open): use bundled continuous maps (#9351) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents