Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes