Mathlib v3 is deprecated. Go to Mathlib v4

Theorem power_series.constant_coeff_exp

Modification history

2021-05-03 17:06

src/ring_theory/power_series/well_known.lean

chore(*): update to lean 3.30.0c (#7264) …

Modified power_series.constant_coeff_exp View on Github →

2021-02-04 21:33

src/ring_theory/power_series/well_known.lean

feat(number_theory/bernoulli): Results regarding Bernoulli numbers as a generating function (#5957) …

Added power_series.constant_coeff_exp View on Github →