Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bernoulli'_eq_bernoulli

Modification history

2021-03-10 02:23

src/number_theory/bernoulli.lean

feat(number_theory/bernoulli): bernoulli_power_series (#6456) …

Added bernoulli'_eq_bernoulli View on Github →