Theorem AlgHom.coe_ringHom_mk

Modification history