Theorem LinearIndependent.pair_neg_right_iff

Modification history