History of tag 0509
| type | time | link |
|---|---|---|
| changed the proof | 2016-06-27 | 937830a |
| changed the proof | 2013-08-03 | badd58f |
| changed the proof | 2011-08-12 | dd4090b |
| assigned tag 0509 | 2010-07-20 | c535ea1 |
| created statement with label lemma-reduced-closed-substack in stacks-properties.tex | 2010-07-15 | 013229b |