Theorem Basis.orientation_ne_iff_eq_neg

Modification history