Theorem Basis.orientation_eq_or_eq_neg

Modification history