History of tag 0H1A
| type | time | link |
|---|---|---|
| changed the statement | 2023-06-27 | 28190d8 |
| assigned tag 0H1A | 2022-08-15 | 29092b8 |
| changed the statement and the proof | 2022-07-19 | da13105 |
| created statement with label lemma-cat-dotted-arrows-base-change in categories.tex | 2022-07-19 | 81b6104 |