Commit 2021-04-15 15:46 0f3ca672
View on Github →feat(number_theory/bernoulli): golf (#7197) I golf the file to improve scannability and stylistic uniformity.
feat(number_theory/bernoulli): golf (#7197) I golf the file to improve scannability and stylistic uniformity.