Mathlib v3 is deprecated. Go to Mathlib v4

Theorem power_series.rescale_neg_one_X

Modification history

2022-07-15 23:14
src/ring_theory/power_series/basic.lean
feat(ring_theory/power_series/basic): Add `rescale_X` (#15397)
Modified power_series.rescale_neg_one_XView on Github →
2021-02-16 12:05
src/ring_theory/power_series/basic.lean
feat(number_theory/bernoulli): the odd Bernoulli numbers (greater than 1) are zero (#6056) …
Added power_series.rescale_neg_one_XView on Github →