mathlib3

d6aae1bc - chore(topology/instances/add_circle): weaken typeclass requirements (#17729)