Theorem linearIndependent_add_smul_iff

Modification history