Theorem map_commutator_of_surjective

Modification history

2026-10-12 12:32
Mathlib/GroupTheory/Commutator/Basic.lean
chore(GroupTheory/Commutator/Basic): golf some proofs (#44193) …
Added map_commutator_of_surjectiveView on Github →