Theorem Disjoint.union_right

Modification history