Theorem Set.mul_iInter_subset

Modification history