mathlib3

78eb83a3 - feat(linear_algebra/pi): add `pi.lsum` (#6335)