Commit 2025-03-21 12:44 4833c036

View on Github →

feat(Data/Finset/Card): add exists_mem_not_mem_of_card_lt_card (#23172) add exists_mem_not_mem_of_card_lt_card

Estimated changes