Theorem RingHom.finiteType_isLocal

Modification history