Theorem ContinuousMulEquiv.symm_bijective

Modification history

2025-02-10 05:14
Mathlib/Topology/Algebra/ContinuousMonoidHom.lean
feat: more `symm_bijective`s (#21435) …
Added ContinuousMulEquiv.symm_bijectiveView on Github →