Commit 2023-01-01 23:53 d4c4f3e8
View on Github →chore: remove ad-hoc port of modular arithmetic definitions (#1292)
Replace ad-hoc port of theory for mod_cases with an import of Data.Int.ModEq, now that that's been ported (as of #1285).
chore: remove ad-hoc port of modular arithmetic definitions (#1292)
Replace ad-hoc port of theory for mod_cases with an import of Data.Int.ModEq, now that that's been ported (as of #1285).