basic): infinite.exists_superset_card_eq (#15787)

Commit

3 years ago

feat(data/fintype/basic): infinite.exists_superset_card_eq (#15787) A stronger variant of `infinite.exists_subset_card_eq`

Author

pechersky

Parents