Statistics for tag 01AH
| tag creation | last update | |
|---|---|---|
| Nov 21, 2008 | Jul 23, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 5 |
| number of results used in preliminary results | 10 |
| number of chapters used | 5 |
| number of sections used | 7 |
| number of results (indirectly) using this tag | 3055 |
Tags (directly) using this result
- Lemma 17.3.5
in Section 17.3: The abelian category of sheaves of modules
(go to statistics) - Lemma 17.10.8
in Section 17.10: Quasi-coherent modules
(go to statistics) - Lemma 17.16.5
in Section 17.16: Tensor product
(go to statistics) - Proposition 28.23.4
in Section 28.23: Gabber's result
(go to statistics) - Lemma 56.7.1
in Section 56.7: Functors between categories of coherent modules
(go to statistics)