basic): golf (#17656)

Commit

3 years ago

chore(data/polynomial/basic): golf (#17656) Add `polynomial.C_injective`, golf some proofs

Author

urkud

Parents