additive closure of Bézout domain is pre-abelian - #1760

additive closure of Bézout domain is pre-abelian#1760

mohamed-barakat merged 1 commit into

homalg-project:masterhomalg-project/CAP_project:masterfrom

mohamed-barakat:Bezoutmohamed-barakat/CAP_project:BezoutCopy head branch name to clipboard