Theorem Subgroup.commutator_pi_pi_of_finite
Modification history
2024-08-16 23:11
Mathlib/GroupTheory/Commutator/Basic.lean
chore: avoid importing `Cardinal` in basic group theory (#15646)
Modified Subgroup.commutator_pi_pi_of_finiteView on Github →