Statistics for tag 0CP3
| tag creation | last update | |
|---|---|---|
| Sep 14, 2016 | Feb 16, 2017 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 1254 |
| number of chapters used | 36 |
| number of sections used | 342 |
| number of results (indirectly) using this tag | 99 |
Tags (directly) using this result
- Lemma 76.39.6
in Section 76.39: Applications
(go to statistics) - Lemma 76.40.1
in Section 76.40: Chow's lemma
(go to statistics) - Lemma 76.51.2
in Section 76.51: Characterizing pseudo-coherent complexes, II
(go to statistics) - Lemma 101.38.7
in Section 101.38: Scheme theoretic image
(go to statistics)