Theorem Set.mul_sInter_subset

Modification history