History of tag 082P
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2016-11-10 |
c9fdec1 |
Small clarifications in quot
Actually, these clarifications unfortunately make it harder to read the
damn thing.
|
|
changed the proof
|
2013-01-03 |
237d94b |
Axiom (RS*) for functor of quotients
This is not as straightforward as one would have thought.
|
|
assigned tag 082P
|
2012-07-30 |
5fd44fe
|
Tags: Added new tags
|
|
created statement with label lemma-q-sheaf in quot.tex
|
2012-07-26 |
c04487d |
Functor of quotients
Basic lemmas. Fun!
|