Commit 2021-04-01 01:24 ec9476fd
View on Github →chore(data/fintype/basic): add card_le_of_surjective and card_quotient_le (#6964)
Add two natural lemmas that were missing from fintype.basic.
chore(data/fintype/basic): add card_le_of_surjective and card_quotient_le (#6964)
Add two natural lemmas that were missing from fintype.basic.