Theorem Finset.sup_image₂_left

Modification history