Skip to content

Define setprime for Index#34

Merged
mtfishman merged 1 commit intomainfrom
setprime
Feb 22, 2025
Merged

Define `setprime` for `Index`#34
mtfishman merged 1 commit intomainfrom
setprime

Commits

Commits on Feb 22, 2025