Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sylow.coe_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.coe_of_cardView on Github →