Commit 2021-02-22 14:12 6d2726c6View on Github →
feat(number_theory/bernoulli): definition and properties of Bernoulli numbers (#6363)
added def bernoulli'
added theorem bernoulli'_def'
added theorem bernoulli'_def
added theorem bernoulli'_four
added theorem bernoulli'_odd_eq_zero
added theorem bernoulli'_one
added theorem bernoulli'_power_series
added theorem bernoulli'_spec'
added theorem bernoulli'_spec
added theorem bernoulli'_three
added theorem bernoulli'_two
added theorem bernoulli'_zero
modified def bernoulli
deleted theorem bernoulli_def'
deleted theorem bernoulli_def
added theorem bernoulli_eq_bernoulli'
deleted theorem bernoulli_four
deleted theorem bernoulli_odd_eq_zero
modified theorem bernoulli_one
deleted theorem bernoulli_power_series
deleted theorem bernoulli_spec'
deleted theorem bernoulli_spec
deleted theorem bernoulli_three
deleted theorem bernoulli_two
modified theorem bernoulli_zero
added theorem sum_bernoulli'
modified theorem sum_bernoulli