Theorem Finset.sup_image₂_le

Modification history