Commit 2024-07-18 19:23 086c4c3d

feat(RingTheory/AdicCompletion): adic completion of Noetherian ring is flat (#14366) We show that the adic completion of a Noetherian ring R is flat. More precisely, we show that on finite modules over a Noetherian ring, tensoring a module M with the adic completion of R is the same as adically completing M. From this we conclude since adic completion on such modules is exact.