Mathlib v3 is deprecated. Go to Mathlib v4

Def sylow.of_card

Modification history

2023-07-11 12:40
src/group_theory/sylow.lean
feat(group_theory/sylow): add inverse to card_eq_multiplicity (#18300) …
Added sylow.of_cardView on Github →