Skip to content

Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want - #73

Merged
fingolfin merged 1 commit into
masterfrom
count-without-listing
Aug 16, 2026
Merged

Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want#73
fingolfin merged 1 commit into
masterfrom
count-without-listing

Commits

  1. Commits on Aug 16, 2026