Commit 2022-12-10 07:00 f178c0e2
View on Github →refactor(topology/instances/add_circle): redefine equiv_add_circle
(#17881)
Use quotient_add_group.congr
. Also define add_aut.mul_left
and add_aut.mul_right
.
refactor(topology/instances/add_circle): redefine equiv_add_circle
(#17881)
Use quotient_add_group.congr
. Also define add_aut.mul_left
and add_aut.mul_right
.