Theorem AlgHom.coe_toRingHom

Modification history