Theorem Finset.exists_minimalFor

Modification history