Theorem Set.disjoint_union_left

Modification history