Theorem Finset.ciSup_eq_max'_image

Modification history