This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
old WIP trying to replace fractional_ideal by submodule in class_group: to be ported#19245
Closed
alreadydone wants to merge 2 commits intoleanprover-community:masterfrom alreadydone:class_group_without_fractional
+138-44
Commits
Commits on Jun 28, 2024
- committed
- committed
