mathlib
91416440 - doc(number_theory/bernoulli_polynomials): a few small improvements (#15599)

Commit

3 years ago

doc(number_theory/bernoulli_polynomials): a few small improvements (#15599) To make the page header look nicer.

Author

alexjbest

Parents