Mathlib Changelog
v4
Changelog
About
Github
Def
commutatorElement
Modification history
2026-03-25 15:49
Mathlib/Algebra/Group/Commutator.lean
refactor(GroupTheory/Commutator/Basic): to_additivize commutators (#34784) …
Added
commutatorElement
View on Github →