Statistics for tag 0AUW
| tag creation | last update | |
|---|---|---|
| Dec 18, 2014 | Jun 5, 2024 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 133 |
| number of chapters used | 12 |
| number of sections used | 39 |
| number of results (indirectly) using this tag | 227 |
Tags (directly) using this result
- Lemma 15.23.3
in Section 15.23: Reflexive modules
(go to statistics) - Lemma 15.23.18
in Section 15.23: Reflexive modules
(go to statistics) - Lemma 15.23.19
in Section 15.23: Reflexive modules
(go to statistics) - Lemma 31.11.11
in Section 31.11: Torsion free modules
(go to statistics) - Lemma 31.12.13
in Section 31.12: Reflexive modules
(go to statistics) - Lemma 31.12.15
in Section 31.12: Reflexive modules
(go to statistics) - Lemma 42.18.3
in Section 42.18: Principal divisors and pushforward
(go to statistics) - Lemma 42.63.1
in Section 42.63: Exterior product over Dedekind domains
(go to statistics) - Lemma 55.8.1
in Section 55.8: Models
(go to statistics) - Lemma 55.9.1
in Section 55.9: The geometry of a regular model
(go to statistics)