Theorem RingHom.finiteType_respectsIso

Modification history