History of tag 0FZ2
| type | time | link |
|---|---|---|
| assigned tag 0FZ2 | 2020-05-25 | d60dd58 |
| changed the statement and the proof | 2020-05-17 | e673ba6 |
| changed the proof | 2020-05-10 | 10af90b |
| created statement with label lemma-diagonal-resolution in equiv.tex | 2020-05-09 | 20c6f13 |