Theorem Finset.mem_upShadow_iff_erase_mem

Modification history