Statistics for tag 0ATK
| tag creation | last update | |
|---|---|---|
| Dec 12, 2014 | Jun 23, 2017 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 136 |
| number of chapters used | 9 |
| number of sections used | 46 |
| number of results (indirectly) using this tag | 359 |
Tags (directly) using this result
- Lemma 15.99.2
in Section 15.99: Base change for derived hom
(go to statistics) - Lemma 36.10.9
in Section 36.10: Pseudo-coherent and perfect complexes
(go to statistics) - Lemma 47.14.2
in Section 47.14: Base change for trivial duality
(go to statistics) - Lemma 47.14.3
in Section 47.14: Base change for trivial duality
(go to statistics) - Lemma 47.27.2
in Section 47.27: Relative dualizing complexes
(go to statistics) - Lemma 48.10.2
in Section 48.10: Right adjoint of pushforward for closed immersions and base change
(go to statistics) - Lemma 48.10.3
in Section 48.10: Right adjoint of pushforward for closed immersions and base change
(go to statistics)