mathlib
e9b159d1 - Merge branch 'master' into adomani_laurent_polynomials

Commit

3 years ago

Merge branch 'master' into adomani_laurent_polynomials

References

adomani_laurent_polynomials

#13415 - feat(data/polynomial/laurent): degrees for Laurent polynomials

Author

adomani

adomani

Parents

Loading