History of tag 0BUU
| type | time | link |
|---|---|---|
| changed the proof | 2016-02-11 | a0ea058 |
| changed the statement and the proof | 2016-02-11 | b8c63cf |
| assigned tag 0BUU | 2016-02-02 | 2f70bed |
| created statement with label lemma-flat-finite-presentation-characterize-CM in more-morphisms.tex | 2016-01-26 | fd1b303 |