Theorem Set.image2_iInter_subset_left

Modification history