Statistics for tag 0889
| tag creation | last update | |
|---|---|---|
| Oct 2, 2012 | Apr 18, 2018 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 150 |
| number of chapters used | 16 |
| number of sections used | 57 |
| number of results (indirectly) using this tag | 193 |
Tags (directly) using this result
- Lemma 30.23.7
in Section 30.23: Coherent formal modules
(go to statistics) - Lemma 30.25.2
in Section 30.25: Grothendieck's existence theorem, II
(go to statistics) - Lemma 52.17.1
in Section 52.17: Algebraization of coherent formal modules, II
(go to statistics) - Lemma 52.22.3
in Section 52.22: Algebraization of coherent formal modules, V
(go to statistics) - Proposition 52.28.5
in Section 52.28: Application to Lefschetz theorems
(go to statistics) - Lemma 76.42.8
in Section 76.42: Grothendieck's existence theorem
(go to statistics)