Theorem IsScalarTower.of_algebraMap_smul

Modification history