Theorem LinearIndependent.group_smul_iff

Modification history