mathlib

66e02b35 - feat(docs/100): Add Masdeu's formalisation of Euler's Summation to 100.yaml (#5655)