Mathlib v3 is deprecated. Go to Mathlib v4

Theorem map_commutator_eq_commutator_map

Modification history

2022-02-27 22:39
src/group_theory/solvable.lean
refactor(group_theory/solvable): Delete duplicate lemma (#12307) …
Deleted map_commutator_eq_commutator_mapView on Github →
2021-01-07 19:12
src/group_theory/solvable.lean
feat(group_theory): add lemmas on solvability (#5646) …
Added map_commutator_eq_commutator_mapView on Github →