Theorem Finset.mem_upShadow_iterate_iff_exists_mem_card_add

Modification history