Theorem IsScalarTower.of_algebraMap_eq'

Modification history