Commit 2021-06-16 12:25 0490b432
View on Github →refactor(geometry/manifold/instances/circle): split out (topological) group facts (#7951)
Move the group and topological group facts about the unit circle in ℂ from geometry.manifold.instances.circle to a new file analysis.complex.circle. Delete geometry.manifold.instances.circle, moving the remaining material to a section in geometry.manifold.instances.sphere.