AddAstrictionToCoimage#225

zickgraf merged 3 commits intohomalg-project:masterhomalg-project/FinSetsForCAP:masterfrom

mohamed-barakat:CoimageProjectionmohamed-barakat/FinSetsForCAP:CoimageProjectionCopy head branch name to clipboard