Commit 2022-10-06 10:46 9cf494e0

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.