Theorem AlgHom.FiniteType.of_finitePresentation

Modification history