Theorem Basis.smulTower'_repr_mk

Modification history