Theorem RingHom.restrict_apply

Modification history