Theorem RingHom.rangeRestrictField_bijective

Modification history