Theorem Set.smul_sInter_subset

Modification history