mathlib3
feat(ring_theory/polynomial/special_coefficients): previous-to-last-coefficient of a product of polynomials
#13200
Open
Open
feat(ring_theory/polynomial/special_coefficients): previous-to-last-coefficient of a product of polynomials #13200
adomani
wants to merge
17 commits into
master
from
adomani_ptl
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
lines and doc-string
6a0779b7
doc-module
7fcd7954
generalize to simplify
0f0a8e50
golf
4bb81af0
eric-wieser
commented
on 2022-04-07
eric-wieser
commented
on 2022-04-07
doc-string
9f2d5d96
shorten doc-string
5aa62bf5
Merge branch 'master' into adomani_ptl
2912a36b
commented out unused lemmas
289aa215
trimmed version
727591e1
git mess
363804e6
Reviewers
Assignees
No one assigned
Labels
WIP
awaiting-author
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub