Theorem Set.Intersecting.not_mem

Modification history