Theorem Finset.sup'_image₂_right

Modification history