Theorem Set.union_distrib_left

Modification history