Theorem RingHom.isSubring_preimage

Modification history