fix(geometry/euclidean/oriented_angle): correct lemma name (#16821)
fix(geometry/euclidean/oriented_angle): correct lemma name (#16821)

`oangle_eq_iff_angle_eq_of_sign_eq` should be called `angle_eq_iff_oangle_eq_of_sign_eq` to match the actual order of the `iff` arguments in the statement.







leanprover-community/mathlib,leanprover-community/mathlib