search

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0
1.67k stars 299 forks source link

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

Closed alreadydone closed 2 months ago

alreadydone commented 2 months ago

Open in Gitpod