Theorem Finset.mem_shadow_iff_exists_sdiff

Modification history