Theorem Finset.max'_insert

Modification history