History of tag 0ARV
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2021-02-08 | b3d09ba |
| changed the proof | 2016-08-31 | 5067107 |
| assigned tag 0ARV | 2014-10-04 | 9f363fc |
| created statement with label lemma-output-quasi-separated in restricted.tex | 2014-10-04 | c1212bc |