Theorem Finset.sup_eq_supₛ_image

Modification history