Mathlib v3 is deprecated. Go to Mathlib v4

Theorem power_series.exp_mul_exp_neg_eq_one

Modification history

2021-02-16 12:05
src/ring_theory/power_series/well_known.lean
feat(number_theory/bernoulli): the odd Bernoulli numbers (greater than 1) are zero (#6056) …
Added power_series.exp_mul_exp_neg_eq_oneView on Github →