History of tag 0934
| type | time | link |
|---|---|---|
| changed the proof | 2020-06-05 | ba36ab5 |
| assigned tag 0934 | 2013-06-11 | 855db3b |
| changed the statement and the proof | 2013-05-18 | 8c4fcdb |
| created statement with label lemma-covering-gives-surjection in sites-modules.tex | 2013-05-18 | 24ed829 |