History of tag 0H55
| type | time | link |
|---|---|---|
| assigned tag 0H55 | 2023-06-27 | 74af77a |
| changed the statement and the proof | 2023-05-23 | d0ebdb5 |
| changed the statement | 2023-03-20 | f3ac876 |
| created statement with label lemma-uniqueness-extension in relative-cycles.tex | 2023-03-10 | ba8fd67 |