mathlib3

7ae11651 - chore(data/pi): Express `single` in terms of `function.update` (#5283)

chore(data/pi): Express `single` in terms of `function.update` (#5283) These were originally introduced in #3513. Perhaps `function.update` wasn't as well developed back then.