Theorem RingHom.Finite.finiteType

Modification history