Def MonoidHom.toHomUnits

Modification history

2023-08-10 19:52

Mathlib/Algebra/Hom/Units.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified MonoidHom.toHomUnits View on Github →

2022-12-03 03:40

Mathlib/Algebra/Hom/Units.lean

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

Added MonoidHom.toHomUnits View on Github →