Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.max_eq_sup_coe

Modification history

2022-07-22 22:11
src/data/finset/lattice.lean
feat(data/polynomial/degree/definitions): redefine `polynomial.degree` as `p.support.max` (#15199) …
Added finset.max_eq_sup_coeView on Github →