Theorem Basis.smul_repr

Modification history