Skip to content

Avoid dependency on the SmallGrp package - #30

Merged
margollo merged 1 commit into
masterfrom
mh/no-smallgrp
Aug 1, 2026
Merged

Avoid dependency on the SmallGrp package#30
margollo merged 1 commit into
masterfrom
mh/no-smallgrp

Commits

Commits on Jul 28, 2026