Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-21 19:43 2b80d2f6

View on Github →

feat(geometry/euclidean/sphere): proof of Freek thm 95 - Ptolemy’s Theorem (#7329)

Estimated changes