Theorem Finset.mem_upShadow_iterate_iff_exists_card

Modification history