History of tag 087P
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2013-12-22 |
e179438 |
LaTeX
Introduced a macro
\def\Ker{\text{Ker}}
and replace all occurrences of \text{Ker} with \Ker
|
|
assigned tag 087P
|
2012-10-11 |
688e3c6
|
Tags: added new tags
|
|
created statement with label lemma-isomorphism-modulo-ideal in algebra.tex
|
2012-09-26 |
ac526c9 |
Improved proof of isomorphism lemma 07RE
Also added: Precise lemma with the new ingredient we used in the
previous commit. We could now use this lemma in the proof of 00SY but
we'll leave it as is (it wouldn't save much space).
|