Theorem Finset.sup'_image₂_left

Modification history