Theorem Finset.Nonempty.csInf_eq_min'

Modification history