old WIP trying to replace fractional_ideal by submodule in class_group: to be ported - Githubissues

leanprover-community / mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

https://leanprover-community.github.io/lean3

Apache License 2.0

1.66k stars 297 forks source link

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

Closed alreadydone closed 1 week ago

alreadydone commented 1 week ago