Theorem RingHom.FinitePresentation.of_finiteType

Modification history