Theorem Set.mul_inter_subset

Modification history