Def power_series.trunc
Modification history
2022-02-08 12:43
src/ring_theory/power_series/basic.lean
feat(*): localized `R[X]` notation for `polynomial R` (#11895) …
Modified power_series.truncView on Github →2020-10-02 07:19
src/ring_theory/power_series.lean
chore(ring_theory/power_series): rename variables (#4361) …
Modified power_series.truncView on Github →