Theorem Basis.repr_smul

Modification history