Theorem LinearIndependent.pair_add_smul_add_smul_iff

Modification history