Theorem Set.sInter_vsub_subset

Modification history