Theorem AlgHom.map_coe_real_complex

Modification history