Skip to content

feat(Geometry/Euclidean/Angle): add the Alternate segment theorem#41121

Open
Scarlett-le wants to merge 2 commits into
leanprover-community:masterfrom
Scarlett-le:tangent-chord-angle
Open

feat(Geometry/Euclidean/Angle): add the Alternate segment theorem#41121
Scarlett-le wants to merge 2 commits into
leanprover-community:masterfrom
Scarlett-le:tangent-chord-angle

chore(Geometry/Euclidean/Angle/Sphere): address review

5d8e57a
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 14s