mathlib3
24d90e42 - Merge branch 'adomani_ptl' into adomani_coeff_previous_power

Commit

3 years ago

Merge branch 'adomani_ptl' into adomani_coeff_previous_power

References

adomani_coeff_previous_power

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

Author

adomani

adomani

Parents

Loading