mathlib3

2bd09f0f - chore(geometry/manifold/instances/circle): provide instance (#7333)

chore(geometry/manifold/instances/circle): provide instance (#7333) Assist typeclass inference when proving the circle is a Lie group, by providing an instance. (Mostly cosmetic, but as this proof is going on a poster I wanted to streamline.) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>