Theorem OrthonormalBasis.same_orientation_iff_det_eq_det

Modification history