Theorem IsScalarTower.of_smul_one_mul

Modification history