mathlib3
4809a728 - Merge branch 'adomani_ptl' into adomani_coeff_previous_power

Commit

4 years ago

Merge branch 'adomani_ptl' into adomani_coeff_previous_power

References

#13084 - feat(ring_theory/polynomial/special_coefficients): new file for evaluations of special coefficients of polynomials

Author

adomani

adomani

Parents

Loading