Theorem Set.intersecting_singleton

Modification history