History of tag 05IK
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2014-11-04 |
2a30a4f |
Slogans by Simon Pepin Lehalleur
|
|
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-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
|
changed the proof
|
2011-06-16 |
93ac3fc |
Fixing references
This time we're fixing the type of the reference
|
|
changed the proof
|
2011-01-14 |
35357ef |
Colimits and finite presentation
Should have done this a while ago.
|
|
assigned tag 05IK
|
2010-12-07 |
68b68f1
|
Tags: Added new tags
|
|
created statement with label theorem-finite-type-flat in flat.tex
|
2010-11-24 |
6605506 |
Theorem on when ft + flat => fp
plus a bunch of easy consequences.
|