mathlib

7803884e - feat(data/pi): Composition of addition/subtraction/... of functions (#10305)