Theorem Set.disjoint_iUnion₂_left

Modification history