Commit 2021-12-28 06:21 44f22aac
View on Github →feat(ring_theory/power_series/basic): add api for coeffs of shifts (#11082) Based on the corresponding API for polynomials
feat(ring_theory/power_series/basic): add api for coeffs of shifts (#11082) Based on the corresponding API for polynomials