duplicate _post

Stream: Is there code for X?

[Milton Lin]

Are there any results where the localization of of a ring R is flat over R, as https://stacks.math.columbia.edu/tag/00HT ?
Thanks!

[Kevin Buzzard]

See also https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/Flat.20modules.20and.20flat.20rings/near/438579521 : please don't double post.

[Milton Lin]

My bad. I thought those were combined. I posted the original one and was notified by the OP that it was in the wrong place. So I reposted a new one.