Def Polynomial.degreeLTEquiv

Modification history

2026-07-18 01:56
Mathlib/RingTheory/Polynomial/Basic.lean
chore(RingTheory/Polynomial/Basic): golf `degreeLTEquiv` (#39514) …
Modified Polynomial.degreeLTEquivView on Github →
2023-04-02 23:34
Mathlib/RingTheory/Polynomial/Basic.lean
chore: fix casing in RingTheory.Polynomial.Basic (#3218)
Added Polynomial.degreeLTEquivView on Github →