circumcenter): remove two `have`s in a proof (#7852)

Commit

4 years ago

chore(geometry/euclidean/circumcenter): remove two `have`s in a proof (#7852) Zulip: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/circumcenter

Author

adomani

Parents

d0ed2a42

mathlib 8e25717f - chore(geometry/euclidean/circumcenter): remove two `have`s in a proof (#7852)

mathlib
8e25717f - chore(geometry/euclidean/circumcenter): remove two `have`s in a proof (#7852)