History of tag 05S3
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2023-08-08 |
f718f0a |
Fix statement of tag 05S3
The target category of the gr functor was not correct.
|
|
changed the proof
|
2013-08-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
|
assigned tag 05S3
|
2011-02-07 |
3a64140
|
Tags: added new tags
|
|
created statement with label lemma-filtered-derived-functors in derived.tex
|
2011-02-07 |
a0d0331 |
Derived functors
Just the start of the general picture
|