mathlib3
old WIP trying to replace fractional_ideal by submodule in class_group: to be ported
#19245
Closed
Closed
old WIP trying to replace fractional_ideal by submodule in class_group: to be ported #19245
alreadydone
wants to merge
2 commits into
leanprover-community:master
from
alreadydone:class_group_without_fractional
WIP
2bbad5ee
minor
1afedcdb
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub