Theorem Finset.sup'_image₂_le

Modification history