History of tag 0BZ5
| type | time | link |
|---|---|---|
| changed the proof | 2019-11-10 | 9acf7d2 |
| changed the statement and the proof | 2019-11-09 | 8504e83 |
| assigned tag 0BZ5 | 2016-02-17 | b6a853e |
| created statement with label lemma-compose-tensor-functors-general-algebra in dga.tex | 2016-02-13 | f84be2c |