History of tag 0A1T
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0A1T
|
2014-04-04 |
396f43e
|
Tags: Added new tags
|
|
created statement with label lemma-initial-essentially-constant in categories.tex
|
2014-04-01 |
833d0be |
Improve a proof in derived.tex
Namely, the proof that RF is defined at two out of three of a
distinguished triangle then it is defined at the third.
|