Theorem Set.intersecting_insert

Modification history