Theorem Set.diff_inter_distrib_right

Modification history