Theorem OrthonormalBasis.adjustToOrientation_apply_eq_or_eq_neg

Modification history