History of tag 0E43
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0E43
|
2017-07-07 |
b056c6e
|
Tags: Added new tags
|
|
changed the proof
|
2017-07-06 |
ef31dda |
Small changes to homology
|
|
changed the proof
|
2017-07-03 |
66e8c12 |
homology.tex: shorten proof of Lemma \ref{lemma-kernel-mono}
|
|
changed the statement
|
2017-07-02 |
3585495 |
homology.tex: fill in two more omitted proofs
Lemma \ref{lemma-abelian-opposite} (I hope I didn't miss any
subtleties here) and Lemma \ref{lemma-characterize-injective}.
Note that the latter still applies in any preadditive category
as long as we assume that Ker(f) resp Coker(f) exist.
Maybe it's worth generalizing it?
|
|
created statement with label lemma-kernel-mono in homology.tex
|
2017-07-02 |
d9fcbef |
homology.tex: clarify proof of Lemma \ref{lemma-coim-im-map} for me
|