mathlib

cca22d7b - feat(data/polynomial/degree/trailing_degree): Trailing degree of multiplication by X^n (#6425)

feat(data/polynomial/degree/trailing_degree): Trailing degree of multiplication by X^n (#6425) A lemma about the trailing degree of a shifted polynomial. (this PR is part of the irreducibility saga)