Theorem EuclideanGeometry.angle_eq_of_oangle_eq_of_not_collinear

Modification history

2026-09-30 15:24
Mathlib/Geometry/Euclidean/Angle/Oriented/Affine.lean
feat(Geometry/Euclidean): unoriented angle eq of oriented angle eq (#40498) …
Added EuclideanGeometry.angle_eq_of_oangle_eq_of_not_collinearView on Github →