Theorem AlgHom.FinitePresentation.of_surjective

Modification history