Theorem Set.union_inter_distrib_left

Modification history