History of tag 0GVW
| type | time | link |
|---|---|---|
| assigned tag 0GVW | 2022-04-04 | 559a490 |
| changed the label to lemma-recompletion-types | 2022-04-03 | 4c03a51 |
| changed the statement | 2022-04-03 | 4c03a51 |
| created statement with label lemma-recompletion-affine-types in formal-spaces.tex | 2022-03-31 | 9390db8 |