WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Circle
Revision #1871 → #1883 ·
back to history
modified
Perpendicular to radius at endpoint is tangent
5721baaa9dbd
Field
From #1871
To #1883
mathlib.decl
EuclideanGeometry.IsTangentAt_of_angle_eq_pi_div_two
EuclideanGeometry.Sphere.IsTangentAt_of_angle_eq_pi_div_two