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