Commit 2021-12-14 05:36 d9edeea2

refactor(linear_algebra/orientation): add refl, symm, and trans lemma (#10753) This restates the reflexive, symmetric, and transitive lemmas in a form understood by @[refl], @[symm], and @[trans]. As a bonus, these versions also work with dot notation. I've discarded the original statements, since they're always recoverable via the fields of equivalence_same_ray, and keeping them is just noise.