Mathlib v3 is deprecated. Go to Mathlib v4

Theorem group.card_pow_eq_card_pow_card_univ

Modification history