Theorem Finset.mem_shadow_iterate_iff_exists_mem_card_add

Modification history