Theorem LinearIndependent.group_smul

Modification history