Theorem Set.union_distrib_right

Modification history