Fix of MinimalHereditarySubsetsVertex filter - #1200

Closed

joe-dw wants to merge 1 commit into

semigroups:mainfrom

Commits on Jun 23, 2026

Fixed error with MinimalHereditarySubsetsVertex taking a semigroup

joe-dw
authored and
james-d-mitchell
committed