WikiLean
Recent changes
·
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