Theorem Finset.sup_finset_image

Modification history