Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-03 13:52 bfa7055d

View on Github →

feat(ring_theory/power_series): several simp lemmas (#1945)

  • Small start on generating functions
  • Playing with Bernoulli
  • Finished sum_bernoulli
  • Some updates after PRs
  • Analogue for mv_power_series
  • Cleanup after merged PRs
  • feat(ring_theory/power_series): several simp lemmas
  • Remove file that shouldn't be there yet
  • Update src/ring_theory/power_series.lean Co-Authored-By: sgouezel sebastien.gouezel@univ-rennes1.fr
  • Generalise lemma to canonically_ordered_monoid
  • Update name
  • Fix build

Estimated changes