ThmDex – An index of mathematical definitions, results, and conjectures.
Result R1268 on D668: Maximum element
Non-empty finite subsets of classical number sets contain extended extrema