Theorem Set.iInter_subset_iUnion

Modification history