Theorem Set.disjoint_left

Modification history