Theorem LinearIndependent.pair_smul_iff

Modification history