Theorem Set.inter_inter_distrib_right

Modification history