Replace a ForAll by manual execution.#12

markusbaumeister wants to merge 1 commit into

gap-packages:mastergap-packages/AttributeScheduler:masterfrom

markusbaumeister:smallImprovementsmarkusbaumeister/AttributeScheduler:smallImprovementsCopy head branch name to clipboard