Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.trailing_monic.def

Modification history

2020-09-22 11:28

src/data/polynomial/degree/trailing_degree.lean

feat(data/polynomial/degree/trailing_degree): basic definitions and properties (#4113) …

Added polynomial.trailing_monic.def View on Github →