History of tag 0G3D
| type | time | link |
|---|---|---|
| assigned tag 0G3D | 2020-11-17 | 45d0041 |
| changed the label to lemma-pro-isomorphism-bis | 2020-09-17 | c81598e |
| changed the statement | 2020-09-17 | c81598e |
| created statement with label lemma-pro-isomorphism in derived.tex | 2020-09-17 | 8ac3be3 |