Theorem Set.image_iInter₂_subset

Modification history