Theorem Finset.max_eq_sup_coe

Modification history