Theorem Set.union_inter_distrib_right

Modification history