Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.commutator_le_map_commutator

Modification history

2022-04-08 07:42
src/group_theory/commutator.lean
refactor(group_theory/commutator): Move `commutator_le_map_commutator` (#13229) …
Added subgroup.commutator_le_map_commutatorView on Github →