2018-10-15 13:39
analysis/topology/quotient_topological_structures.lean
refactor(analysis/topology/topological_structures): use to_additive to derive topological_add_monoid and topological_add_group
Deleted is_open_map.quotient_map_of_open_of_surj_of_cont