Theorem IsUnit.unit_inv_map

Modification history

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