Theorem Finset.mem_upShadow_iff_exists_sdiff

Modification history