Theorem Finset.max'_le_iff

Modification history