Skip to content

feat(NumberTheory): add bernoulli'_five, bernoulli'_six and riemannZeta_six#41499

Open
qdiazblanco wants to merge 2 commits into
leanprover-community:masterfrom
qdiazblanco:logos-ws-bernoulli-zeta-values
Open

feat(NumberTheory): add bernoulli'_five, bernoulli'_six and riemannZeta_six#41499
qdiazblanco wants to merge 2 commits into
leanprover-community:masterfrom
qdiazblanco:logos-ws-bernoulli-zeta-values

Commits

Commits on Jul 8, 2026