Mathlib v3 is deprecated. Go to Mathlib v4

Theorem power_series.rescale_one

Modification history

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_oneView on Github →