Theorem AlgHom.coe_restrict_scalars'

Modification history