Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.nat_card_dvd_of_le

Modification history

2022-11-20 18:58
src/group_theory/index.lean
feat(group_theory/index): `nat.card` version of `card_dvd_of_le` (#17269) …
Added subgroup.nat_card_dvd_of_leView on Github →