Theorem Finset.max_insert

Modification history