Theorem RingHom.FinitePresentation.of_comp_finiteType

Modification history