Theorem Finset.mem_shadow_iterate_iff_exists_sdiff

Modification history