mathlib3
feat(ring_theory/polynomial/special_coefficients): new file for evaluations of special coefficients of polynomials
#13084
Open
Open
feat(ring_theory/polynomial/special_coefficients): new file for evaluations of special coefficients of polynomials #13084
adomani
wants to merge
25 commits into
master
from
adomani_coeff_previous_power
special coefficients
957ca953
lint
20eabe42
Merge branch 'master' into adomani_coeff_previous_power
c963f2b4
add a lemma
80af25aa
Merge branch 'master' into adomani_ptl
05cfdbe9
add ptl
76c3cffd
lint
3a5f93b8
Merge branch 'master' into adomani_coeff_previous_power
60f6e602
Merge branch 'adomani_ptl' into adomani_coeff_previous_power
5797dfef
merge earlier PR
0d474404
Update src/ring_theory/polynomial/special_coefficients.lean
e4412695
lines and doc-string
6a0779b7
Merge branch 'adomani_ptl' into adomani_coeff_previous_power
9c08aeec
doc-module
7fcd7954
Merge branch 'adomani_ptl' into adomani_coeff_previous_power
c0ca6bcc
Merge branch 'adomani_coeff_previous_power' of ssh://github.com/leanp…
a2cdd13a
generalize to simplify
0f0a8e50
Merge branch 'adomani_ptl' into adomani_coeff_previous_power
4809a728
golf
4bb81af0
doc-string
9f2d5d96
shorten doc-string
5aa62bf5
Merge branch 'master' into adomani_ptl
2912a36b
commented out unused lemmas
289aa215
trimmed version
727591e1
Merge branch 'adomani_ptl' into adomani_coeff_previous_power
24d90e42
Reviewers
Assignees
No one assigned
Labels
awaiting-author
blocked-by-other-PR
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub