add_circle): the additive circle is a divisible group (#17138)

Commit

3 years ago

feat(topology/instances/add_circle): the additive circle is a divisible group (#17138)

Author

ocfnash

Parents