Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quotient_map.of_inverse

Modification history

2022-07-22 09:11
src/topology/maps.lean
feat(topology/maps): add 2 lemmas, `open function` (#15612) …
Added quotient_map.of_inverseView on Github →