Statistics for tag 00IP
| tag creation | last update | |
|---|---|---|
| Sep 30, 2008 | Oct 23, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 8 |
| number of chapters used | 3 |
| number of sections used | 5 |
| number of results (indirectly) using this tag | 4783 |
Tags (directly) using this result
- Lemma 10.51.5
in Section 10.51: More Noetherian rings
(go to statistics) - Lemma 10.69.6
in Section 10.69: Quasi-regular sequences
(go to statistics) - Lemma 10.99.1
in Section 10.99: Criteria for flatness
(go to statistics) - Lemma 10.106.2
in Section 10.106: Regular local rings
(go to statistics) - Lemma 10.140.6
in Section 10.140: Smooth algebras over fields
(go to statistics) - Lemma 10.161.16
in Section 10.161: Japanese rings
(go to statistics) - Lemma 10.162.12
in Section 10.162: Nagata rings
(go to statistics) - Lemma 15.20.2
in Section 15.20: Flattening over a Noetherian complete local ring
(go to statistics) - Lemma 16.7.1
in Section 16.7: The desingularization lemma
(go to statistics) - Lemma 37.26.6
in Section 37.26: Reduced fibres
(go to statistics) - Lemma 38.8.3
in Section 38.8: Completion and Mittag-Leffler modules
(go to statistics) - Lemma 48.33.3
in Section 48.33: Duality for compactly supported cohomology
(go to statistics) - Lemma 51.17.1
in Section 51.17: Frobenius action
(go to statistics) - Proposition 52.12.3
in Section 52.12: Algebraization of formal sections, II
(go to statistics) - Lemma 76.29.5
in Section 76.29: Reduced fibres
(go to statistics) - Lemma 87.33.3
in Section 87.33: Maps out of affine formal schemes
(go to statistics) - Lemma 88.6.1
in Section 88.6: Algebraization of rig-smooth algebras over G-rings
(go to statistics) - Lemma 90.4.7
in Section 90.4: The completed base category
(go to statistics) - Lemma 110.44.2
in Section 110.44: Flat and formally unramified is not formally étale
(go to statistics)