Commit 2022-11-20 18:58 404520a1
View on Github →feat(group_theory/index): nat.card
version of card_dvd_of_le
(#17269)
This PR adds a nat.card
version of card_dvd_of_le
.
feat(group_theory/index): nat.card
version of card_dvd_of_le
(#17269)
This PR adds a nat.card
version of card_dvd_of_le
.