Theorem RingHom.IsIntegral.specComap_surjective

Modification history