History of tag 05N6
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2014-07-20 |
9ca4c75 |
Finite type submodule ---> finite submodule
Thanks to Charles
http://stacks.math.columbia.edu/tag/05CU#comment-818
|
changed the proof
|
2013-12-22 |
5b9bcfb |
LaTeX
Introduced a new macro
\def\Coker{\text{Coker}}
and replaced all occurrences of \text{Coker} by \Coker
|
changed the proof
|
2013-12-22 |
e179438 |
LaTeX
Introduced a macro
\def\Ker{\text{Ker}}
and replace all occurrences of \text{Ker} with \Ker
|
changed the proof
|
2013-08-04 |
cadddd7 |
Improve exposition finitely presented modules
Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/0517#comment-269
|
assigned tag 05N6
|
2011-01-23 |
4d0565f
|
Tags: added new tags
|
created statement with label lemma-construct-fp-module-from-localization in algebra.tex
|
2011-01-14 |
35357ef |
Colimits and finite presentation
Should have done this a while ago.
|