Def commutatorElement

Modification history

2026-03-25 15:49
Mathlib/Algebra/Group/Commutator.lean
refactor(GroupTheory/Commutator/Basic): to_additivize commutators (#34784) …
Added commutatorElementView on Github →