Theorem Set.iInter₂_subset_of_subset

Modification history