basic): coeff_succ_X_mul (#6370)

Commit

4 years ago

feat(ring_theory/power_series/basic): coeff_succ_X_mul (#6370) Co-authored-by: Moritz Firsching <firsching@google.com>

Author

mo271

Parents