Skip to content

[classicalmaximals] New package, version 1.1#1376

Merged
fingolfin merged 1 commit into
mainfrom
automatic/classicalmaximals
May 26, 2026
Merged

[classicalmaximals] New package, version 1.1#1376
fingolfin merged 1 commit into
mainfrom
automatic/classicalmaximals

Commits

Commits on May 26, 2026