Theorem RingHom.coe_restrict_apply

Modification history