Skip to content

feat(Geometry/Euclidean/Angle): the unoriented angle at the center in terms of the angle at the circumference#41123

Open
Scarlett-le wants to merge 2 commits into
leanprover-community:masterfrom
Scarlett-le:inscribed-angle-unoriented
Open

feat(Geometry/Euclidean/Angle): the unoriented angle at the center in terms of the angle at the circumference#41123
Scarlett-le wants to merge 2 commits into
leanprover-community:masterfrom
Scarlett-le:inscribed-angle-unoriented

chore(Geometry/Euclidean/Angle/Sphere): simplify using ne_center_of_m…

6246b72
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 2, 2026 in 1m 20s