Theorem RingHom.isSubring_image

Modification history