Theorem IsScalarTower.algebraMap_smul

Modification history