History of tag 0FZ8
| type | time | link |
|---|---|---|
| changed the statement | 2020-06-26 | 660dcc0 |
| assigned tag 0FZ8 | 2020-05-25 | d60dd58 |
| changed the statement and the proof | 2020-05-13 | bc249bc |
| changed the proof | 2020-05-12 | 1166407 |
| created statement with label lemma-boundedness in equiv.tex | 2020-05-09 | 20c6f13 |