Theorem continuous_inv_iff

Modification history

2024-06-19 13:47
Mathlib/Topology/Algebra/Group/Basic.lean
feat: `f⁻¹` is continuous iff `f` is (#13951) …
Added continuous_inv_iffView on Github →