Theorem RingHom.ext_rat

Modification history