Theorem Set.intersecting_empty

Modification history