Commit 2023-05-22 16:36 b6c41003
View on Github →feat: port RingTheory.IntegralClosure (#4196)
I tried to fix what I could, but this contains a lot of sorries
!
feat: port RingTheory.IntegralClosure (#4196)
I tried to fix what I could, but this contains a lot of sorries
!