Commit 2022-01-18 07:45 01fa7f52
View on Github →feat(data/fintype/basic): one_lt_card_iff
and two_lt_card_iff
(#11524)
This PR adds one_lt_card_iff
and two_lt_card_iff
.
feat(data/fintype/basic): one_lt_card_iff
and two_lt_card_iff
(#11524)
This PR adds one_lt_card_iff
and two_lt_card_iff
.