mathlib3
feat(number_theory/bernoulli_polynomials): prove `bernoulli_eval_one_neg`
#18313

Open

feat(number_theory/bernoulli_polynomials): prove `bernoulli_eval_one_neg` #18313

grhkm21 wants to merge 1 commit into master from grhkm/bernoulli_polynomials

feat(number_theory/bernoulli_polynomials): prove `bernoulli_eval_one_…

8ef5c788

grhkm21 added t-number-theory

grhkm21 added WIP

grhkm21 removed WIP

grhkm21 added awaiting-review

eric-wieser commented on 2023-03-28

eric-wieser removed awaiting-review

eric-wieser added awaiting-author

alreadydone commented on 2023-04-29

kim-em added too-late

Reviewers

alreadydone

alexjbest

eric-wieser

Assignees

No one assigned

Labels

awaiting-author t-number-theory too-late

Milestone

No milestone