History of tag 0DLA
| type | time | link |
|---|---|---|
| changed the proof | 2021-09-10 | 6ec58c6 |
| changed the statement | 2017-04-11 | 04fef69 |
| assigned tag 0DLA | 2017-04-08 | 001e052 |
| created statement with label lemma-fppf-glue-neg-ext-zero in spaces-simplicial.tex | 2017-04-05 | 9638b44 |