mathlib3
old WIP trying to replace fractional_ideal by submodule in class_group: to be ported
#19245

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

alreadydone closed this 2 years ago

minor

1afedcdb

alreadydone reopened this 2 years ago

alreadydone closed this 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone