Theorem Units.map_bijective

Modification history

2026-02-15 13:39
Mathlib/Algebra/Group/Units/Hom.lean
feat(Algebra/Group/Units/Hom): add map lemmas (#25993) …
Added Units.map_bijectiveView on Github →