Theorem IsScalarTower.coe_to_alg_hom'

Modification history