mathlib
73afb6c7 - chore(data/fintype/basic): add `fintype.card_set` (#9434)

Commit

4 years ago

chore(data/fintype/basic): add `fintype.card_set` (#9434)

Author

urkud

urkud

Parents

Loading