Merge branch 'lean-3.4.2' into gen-fun - SemanticDiff

Commit

6 years ago

Merge branch 'lean-3.4.2' into gen-fun

References

#1952 - feat(number_theory/bernoulli): Add definition of Bernoulli numbers

Author

jcommelin

jcommelin

Parents

Loading