History of tag 0G8J
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2021-07-25 | 081d6c5 |
| assigned tag 0G8J | 2020-12-15 | 4351fc1 |
| changed the proof | 2020-12-11 | 5306fb3 |
| created statement with label lemma-relative-top-part-degenerates in derham.tex | 2020-12-09 | 60bcdaa |