History of tag 0FZ0
| type | time | link |
|---|---|---|
| assigned tag 0FZ0 | 2020-05-25 | d60dd58 |
| changed the statement and the proof | 2020-05-17 | e673ba6 |
| changed the statement and the proof | 2020-05-11 | 11986ca |
| changed the statement and the proof | 2020-05-09 | 20c6f13 |
| created statement with label lemma-on-product in equiv.tex | 2020-05-08 | 42aff3f |