Statistics for tag 09CC
| tag creation | last update | |
|---|---|---|
| Jul 24, 2013 | Jun 7, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 24 |
| number of chapters used | 4 |
| number of sections used | 8 |
| number of results (indirectly) using this tag | 251 |
Tags (directly) using this result
- Lemma 15.31.5
in Section 15.31: More on Koszul regular sequences
(go to statistics) - Lemma 15.33.5
in Section 15.33: Local complete intersection maps
(go to statistics) - Lemma 15.40.4
in Section 15.40: Geometric regularity and formal smoothness
(go to statistics) - Lemma 23.7.5
in Section 23.7: Application to complete intersections
(go to statistics) - Lemma 23.7.6
in Section 23.7: Application to complete intersections
(go to statistics) - Lemma 23.9.1
in Section 23.9: Local complete intersection maps
(go to statistics) - Lemma 23.9.5
in Section 23.9: Local complete intersection maps
(go to statistics) - Lemma 37.62.12
in Section 37.62: Local complete intersection morphisms
(go to statistics) - Lemma 43.16.2
in Section 43.16: Computing intersection multiplicities
(go to statistics) - Lemma 47.21.7
in Section 47.21: Gorenstein rings
(go to statistics) - Lemma 47.25.4
in Section 47.25: Relative dualizing complexes in the Noetherian case
(go to statistics) - Lemma 48.17.11
in Section 48.17: Properties of upper shriek functors
(go to statistics)