Theorem RingHom.finiteType_is_local

Modification history