Theorem Set.inter_union_distrib_right

Modification history