feat(Topology/Instances/AddCircle): Infinite (AddCircle p) for a densely ordered group (#45575)
Infinite (AddCircle p)