Zulip Chat Archive

Stream: triage

Topic: PR #12812: feat(ring_theory/integrally_closed): if x is i...

Random Issue Bot (Apr 13 2022 at 14:14):

Today I chose PR 12812 for discussion!

feat(ring_theory/integrally_closed): if x is in Frac R such that x^n is in R then x is in R
Created by @David Kurniadi Angdinata (@Multramate) on 2022-03-18
Labels: WIP, awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Jun 24 2022 at 14:18):

Today I chose PR 12812 for discussion!

feat(ring_theory/integrally_closed): if x is in Frac R such that x^n is in R then x is in R
Created by @David Kurniadi Angdinata (@Multramate) on 2022-03-18
Labels: awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

Last updated: Dec 20 2023 at 11:08 UTC