Theorem eq_on_inv

Modification history

2024-02-05 18:00

Mathlib/Algebra/Group/Units/Hom.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified eq_on_inv View on Github →

2022-12-03 03:40

Mathlib/Algebra/Hom/Units.lean

feat: port Algebra.Hom.Units (#745) …

Added eq_on_inv View on Github →