Statistics for tag 05UT
| tag creation | last update | |
|---|---|---|
| Feb 25, 2011 | Aug 10, 2011 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 3 |
| number of chapters used | 2 |
| number of sections used | 2 |
| number of results (indirectly) using this tag | 1738 |
Tags (directly) using this result
- Lemma 10.39.20
in Section 10.39: Flat modules and flat ring maps
(go to statistics) - Lemma 15.12.2
in Section 15.12: Henselization of pairs
(go to statistics) - Lemma 15.41.5
in Section 15.41: Regular ring maps
(go to statistics) - Lemma 15.45.1
in Section 15.45: Permanence of properties under henselization
(go to statistics) - Lemma 15.59.10
in Section 15.59: Derived tensor product
(go to statistics) - Lemma 15.104.5
in Section 15.104: Weakly étale ring maps
(go to statistics) - Lemma 15.104.14
in Section 15.104: Weakly étale ring maps
(go to statistics) - Lemma 15.104.18
in Section 15.104: Weakly étale ring maps
(go to statistics) - Lemma 31.18.7
in Section 31.18: Relative effective Cartier divisors
(go to statistics) - Lemma 31.30.6
in Section 31.30: Relative Proj
(go to statistics)