Theorem AlgHom.FinitePresentation.of_finiteType

Modification history