Theorem LinearIndependent.units_smul

Modification history