mathlib3
0f3ca672 - feat(number_theory/bernoulli): golf (#7197)

Commit

4 years ago

feat(number_theory/bernoulli): golf (#7197) I golf the file to improve scannability and stylistic uniformity.

Author

benjamindavidson

Parents