mathlib3
feat(ring_theory/power_series): several simp lemmas
#1945
Merged
Overview
Commits
14
Changes
View On GitHub

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

mergify merged 14 commits into master from power-series-lemmas
jcommelin
jcommelin Small start on generating functions
ddcb8efa
jcommelin Playing with Bernoulli
a9953878
jcommelin Finished sum_bernoulli
19dfd9d6
jcommelin Some updates after PRs
9b6f9778
jcommelin Analogue for mv_power_series
28f3a095
jcommelin Merge branch 'lean-3.4.2' into gen-fun
edbc84d6
jcommelin Cleanup after merged PRs
2dac1848
jcommelin feat(ring_theory/power_series): several simp lemmas
4854f858
jcommelin Remove file that shouldn't be there yet
336433ee
sgouezel
sgouezel commented on 2020-02-03
jcommelin Update src/ring_theory/power_series.lean
e729465f
jcommelin Generalise lemma to canonically_ordered_monoid
922b2f87
jcommelin Update name
7dd49aac
sgouezel
sgouezel approved these changes on 2020-02-03
sgouezel sgouezel added ready-to-merge
jcommelin Fix build
86f42f26
mergify[bot] Merge branch 'master' into power-series-lemmas
53d69ef6
mergify mergify merged bfa7055d into master 6 years ago
mergify mergify deleted the power-series-lemmas branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum