Skip to content

fix corner cases of "modint" when mod = 1#142

Merged
koba-e964 merged 1 commit intorust-lang-ja:masterfrom
mizar:modint1_fix
Feb 22, 2025

Commits

Commits on Feb 20, 2025