Theorem Finset.ciInf_eq_min'_image

Modification history