Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_open_map_quotient_mk_mul

Modification history

2022-02-10 03:40
src/topology/algebra/mul_action2.lean
refactor(topology/algebra/mul_action2): rename type classes (#11940) …
Modified is_open_map_quotient_mk_mulView on Github →
2022-01-25 17:30
src/topology/algebra/mul_action2.lean
feat(topology/algebra/mul_action2): quotient by a properly discontinuous group action is t2 (#10465) …
Added is_open_map_quotient_mk_mulView on Github →