Theorem Finset.image_subset_Iic_sup

Modification history