Theorem Units.val_inv_inj

Modification history

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