Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv.perm.two_dvd_card_support

Modification history

2021-05-07 09:30
src/group_theory/perm/cycle_type.lean
feat(field_theory/polynomial_galois_group): More flexible version of gal_action_hom_bijective_of_prime_degree (#7508) …
Added equiv.perm.two_dvd_card_supportView on Github →