Theorem Basis.orientation_comp_linearEquiv_eq_iff_det_pos

Modification history