Theorem orientation.oangle_eq_basis_oangle
Modification history
2022-10-24 11:01
src/geometry/euclidean/oriented_angle.lean
feat(geometry/euclidean/oriented_angle): refactor to a basis-free definition (#16596) …
Deleted orientation.oangle_eq_basis_oangleView on Github →