Theorem Finset.mem_shadow_iff_exists_mem_card_add_one

Modification history