Theorem LinearIndependent.pair_neg_left_iff

Modification history