History of tag 0BCE
type | time | link |
---|---|---|
changed the proof | 2018-08-05 | c4b1383 |
changed the proof | 2016-12-12 | 3f2689d |
assigned tag 0BCE | 2015-05-29 | f4f6b80 |
created statement with label lemma-lift-complex-finite-projectives in more-algebra.tex | 2015-05-28 | 20fe7a1 |