Theorem Finset.Nonempty.ciSup_eq_max'_image

Modification history