Skip to content

Convenience: allow GapInt(x) as shorthand for producing a GAP integer#984

Merged
fingolfin merged 1 commit intooscar-system:masterfrom fingolfin:mh/GapIntApr 21, 2024
+4

Commits

Commits on Apr 17, 2024