Theorem LinearIndependent.units_smul_iff

Modification history