Theorem IsUnit.mul

Modification history

2024-01-06 09:51

Mathlib/Algebra/Group/Units.lean

Chore: Move `Units` lemmas earlier (#9461) …

Modified IsUnit.mul View on Github →

2022-11-23 04:05

Mathlib/Algebra/Group/Units.lean

feat: port Algebra.Group.Units (#549) …

Added IsUnit.mul View on Github →