Skip to content

Let NumberSmallGroups take the selection criteria of AllSmallGroups - #72

Merged
fingolfin merged 1 commit into
masterfrom
claude/numbersmallgroups-filters-c61380
Aug 7, 2026
Merged

Let NumberSmallGroups take the selection criteria of AllSmallGroups#72
fingolfin merged 1 commit into
masterfrom
claude/numbersmallgroups-filters-c61380

Commits

Commits on Aug 7, 2026