History of tag 09A3
| type | time | link |
|---|---|---|
| changed the proof | 2019-03-22 | f760832 |
| assigned tag 09A3 | 2013-06-11 | 855db3b |
| changed the proof | 2013-06-04 | b238d57 |
| created statement with label lemma-quasi-compact-quasi-separated-commutes-direct-sums in proetale.tex | 2013-05-28 | e11c853 |