Theorem RingHom.coe_of

Modification history