Theorem Set.subset_sInter_iff

Modification history