mathlib3
63417e01 - chore(*): rename C_mul_X to C_mul_X_pow for polynomials (#17706)

Commit

3 years ago

chore(*): rename C_mul_X to C_mul_X_pow for polynomials (#17706)

Author

Multramate

Multramate

Parents

Loading