Theorem Polynomial.exists_degree_eq_of_mem_lifts

Modification history

2026-02-18 07:28
Mathlib/Algebra/Polynomial/Lifts.lean
feat(Algebra/Polynomial/Lifts): Add `mem_lifts_and_support_eq` (#35132) …
Added Polynomial.exists_degree_eq_of_mem_liftsView on Github →