mathlib
ca3d21f7 - chore(number_theory/bernoulli_polynomials): tidy docs (#16705)

Commit

3 years ago

chore(number_theory/bernoulli_polynomials): tidy docs (#16705) Co-authored-by: Scott Morrison <scott@tqft.net>

Author

ericrbg

Parents