mathlib3
3fc60fc7 - fix(number_theory/bernoulli): fix docstring (#5478)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

fix(number_theory/bernoulli): fix docstring (#5478)

Author

kbuzzard

kbuzzard

Parents

FAQ Terms Privacy Refunds Impressum

Loading