mathlib
cbaea5dd - feat(polynomial/degree/trailing_degree): redefine `trailing_degree` as `p.support.min` (#16337)

Commit
3 years ago
feat(polynomial/degree/trailing_degree): redefine `trailing_degree` as `p.support.min` (#16337)
Author
Parents
Loading