Statistics for tag 00OF
| tag creation | last update | |
|---|---|---|
| Dec 3, 2008 | Dec 22, 2013 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 137 |
| number of chapters used | 7 |
| number of sections used | 41 |
| number of results (indirectly) using this tag | 3422 |
Tags (directly) using this result
- Lemma 10.140.3
in Section 10.140: Smooth algebras over fields
(go to statistics) - Lemma 10.164.4
in Section 10.164: Descending properties
(go to statistics) - Lemma 10.164.6
in Section 10.164: Descending properties
(go to statistics) - Lemma 15.38.2
in Section 15.38: Formally smooth maps of local rings
(go to statistics) - Lemma 15.43.4
in Section 15.43: Permanence of properties under completion
(go to statistics) - Lemma 33.12.4
in Section 33.12: Geometrically regular schemes
(go to statistics) - Lemma 33.12.5
in Section 33.12: Geometrically regular schemes
(go to statistics) - Lemma 35.19.2
in Section 35.19: Variants on descending properties
(go to statistics) - Proposition 41.19.4
in Section 41.19: Permanence properties
(go to statistics) - Lemma 74.9.4
in Section 74.9: Descending properties of spaces
(go to statistics)