Theorem OrthonormalBasis.det_eq_neg_det_of_opposite_orientation

Modification history