Theorem RingHom.isSubring_set_range

Modification history