Theorem Set.union_distrib_iInter_right

Modification history