mathlib3
0007c4a2 - feat(topology/constructions): `function.update` is continuous in both arguments (#7023)
