Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0911

Go back to the tag's page.

type time link
changed the proof 2023-02-27 2147816
fix typo

Thanks to Mingchen
https://stacks.math.columbia.edu/tag/0911#comment-7880
changed the statement and the proof 2021-01-20 0bcbdbf
Small changes in more-algebra
changed the statement 2018-10-22 185e48c
Improve statement lemma

Thanks to Laurent Moret-Bailly
https://stacks.math.columbia.edu/tag/0911#comment-3554
assigned tag 0911 2013-06-11 855db3b
Tags: Added new tags
changed the proof 2013-05-24 14d5e9c
Move sections around to fix forward references (more to come)
created statement with label lemma-tor-strictly-pro-zero in more-algebra.tex 2013-05-21 c4d0132
Pleasing result on flatness

The completion of a constant sheaf of Noetherian rings is flat. Uses a
fun new result about inverse limits of flat systems of modules with
surjective transition maps.