Theorem IsScalarTower.adjoin_range_toAlgHom

Modification history