commented out unused lemmas - SemanticDiff

Commit

3 years ago

commented out unused lemmas

References

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

#13200 - feat(ring_theory/polynomial/special_coefficients): previous-to-last-coefficient of a product of polynomials

Author

adomani

adomani

Parents

Loading