Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsUnit.mul_eq_left
Modification history
2025-03-05 11:44
Mathlib/Algebra/Group/Units/Basic.lean
feat(GroupTheory/OrderOfElement): add `IsConj.isOfFinOrder` (#22507) …
Added
IsUnit.mul_eq_left
View on Github →