Theorem linearIndependent_smul

Modification history