Theorem Set.Intersecting.not_compl_mem

Modification history