Theorem Set.Intersecting.exists_mem_set

Modification history