Theorem AlgHom.FinitePresentation.comp_surjective

Modification history