Theorem Sbtw.angle₂₁₃_eq_zero

Modification history

2023-05-26 23:07

Mathlib/Geometry/Euclidean/Angle/Unoriented/Affine.lean

feat: port Geometry.Euclidean.Angle.Unoriented.Affine (#4400)

Added Sbtw.angle₂₁₃_eq_zero View on Github →