Statistics for tag 04GJ
| tag creation | last update | |
|---|---|---|
| Apr 14, 2010 | Apr 19, 2010 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 511 |
| number of chapters used | 13 |
| number of sections used | 112 |
| number of results (indirectly) using this tag | 283 |
Tags (directly) using this result
- Lemma 10.153.6
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.7
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.8
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 15.106.3
in Section 15.106: Local irreducibility
(go to statistics) - Lemma 59.59.4
in Section 59.59: Cohomology of a point
(go to statistics) - Lemma 71.10.4
in Section 71.10: Meromorphic functions and sections
(go to statistics)