Theorem Finset.mem_shadow_iterate_iff_exists_card

Modification history