Theorem Finset.min_of_nonempty

Modification history