Statistics for tag 00S2
| tag creation | last update | |
|---|---|---|
| Jan 21, 2009 | Apr 11, 2024 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 1 |
| number of chapters used | 1 |
| number of sections used | 1 |
| number of results (indirectly) using this tag | 3955 |
Tags (directly) using this result
- Lemma 10.134.7
in Section 10.134: The naive cotangent complex
(go to statistics) - Lemma 10.134.12
in Section 10.134: The naive cotangent complex
(go to statistics) - Lemma 10.137.14
in Section 10.137: Smooth ring maps
(go to statistics) - Proposition 10.138.8
in Section 10.138: Formally smooth maps
(go to statistics) - Lemma 10.138.9
in Section 10.138: Formally smooth maps
(go to statistics) - Lemma 10.138.10
in Section 10.138: Formally smooth maps
(go to statistics) - Lemma 10.139.1
in Section 10.139: Smoothness and differentials
(go to statistics) - Lemma 15.9.14
in Section 15.9: Lifting
(go to statistics) - Lemma 15.33.8
in Section 15.33: Local complete intersection maps
(go to statistics) - Proposition 15.35.1
in Section 15.35: Geometric regularity
(go to statistics) - Lemma 15.40.4
in Section 15.40: Geometric regularity and formal smoothness
(go to statistics) - Lemma 16.3.1
in Section 16.3: Presentations of algebras
(go to statistics) - Lemma 16.4.3
in Section 16.4: Intermezzo: Néron desingularization
(go to statistics) - Lemma 17.31.5
in Section 17.31: The naive cotangent complex
(go to statistics) - Lemma 33.16.5
in Section 33.16: Tangent spaces
(go to statistics) - Lemma 54.2.2
in Section 54.2: A trace map in positive characteristic
(go to statistics) - Lemma 90.3.11
in Section 90.3: The base category
(go to statistics) - Lemma 90.9.5
in Section 90.9: Smooth or unobstructed categories
(go to statistics) - Lemma 92.11.3
in Section 92.11: Comparison with the naive cotangent complex
(go to statistics) - Lemma 110.44.2
in Section 110.44: Flat and formally unramified is not formally étale
(go to statistics)