History of tag 0CGX
| type | time | link |
|---|---|---|
| assigned tag 0CGX | 2016-06-09 | 4d5ad20 |
| changed the statement | 2016-06-09 | 3fe6e83 |
| changed the proof | 2016-06-08 | fd4d350 |
| created statement with label lemma-deform-property-fp-over-ft in spaces-more-morphisms.tex | 2016-06-08 | 6ca06e3 |