mathlib
c488997d - feat(analysis/special_functions/polynomial): polynomials are big O of polynomials of higher degree (#6714)

Commit
4 years ago
feat(analysis/special_functions/polynomial): polynomials are big O of polynomials of higher degree (#6714)
Author
Parents
Loading