Theorem Set.subset_sInter

Modification history