mathlib

050b5a1b - feat(data/real/pi): Leibniz's series for pi (#4228)

feat(data/real/pi): Leibniz's series for pi (#4228) Freek No. 26 <!-- put comments you want to keep out of the PR commit here --> Co-authored-by: Benjamin Davidson <68528197+benjamindavidson@users.noreply.github.com>