Theorem RingHom.FiniteType.of_finitePresentation

Modification history