Theorem Polynomial.monomial_coe_mem_degreeLT

Modification history

2026-07-18 01:56
Mathlib/RingTheory/Polynomial/Basic.lean
chore(RingTheory/Polynomial/Basic): golf `degreeLTEquiv` (#39514) …
Added Polynomial.monomial_coe_mem_degreeLTView on Github →