History of tag 082C
| type | time | link |
|---|---|---|
| changed the proof | 2014-01-31 | 1cbd04f |
| changed the statement and the proof | 2014-01-31 | 067d232 |
| assigned tag 082C | 2012-07-30 | 5fd44fe |
| created statement with label lemma-integral-algebra-directed-colimit-finite in spaces-limits.tex | 2012-07-30 | 957f784 |