Theorem Disjoint.union_left

Modification history