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 |