History of tag 0G0I
| type | time | link |
|---|---|---|
| assigned tag 0G0I | 2020-05-25 | d60dd58 |
| changed the statement | 2020-05-23 | 6411eab |
| changed the statement | 2020-05-23 | 7774465 |
| created statement with label definition-relative-equivalence-kernel in equiv.tex | 2020-05-23 | 350309c |