History of tag 08M1
| type | time | link |
|---|---|---|
| changed the proof | 2013-08-03 | d111c81 |
| assigned tag 08M1 | 2013-02-19 | 875629a |
| changed the proof | 2013-02-19 | 875629a |
| changed the proof | 2013-02-18 | 6ccdb23 |
| created statement with label lemma-closed-immersion in sites.tex | 2013-02-17 | 7a7f788 |