Theorem Basis.orientation_eq_iff_det_pos

Modification history