Statistics for tag 031Q
| tag creation | last update | |
|---|---|---|
| Aug 18, 2009 | May 1, 2022 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 32 |
| number of chapters used | 3 |
| number of sections used | 12 |
| number of results (indirectly) using this tag | 878 |
Tags (directly) using this result
- Lemma 10.157.6
in Section 10.157: Serre's criterion for normality
(go to statistics) - Lemma 15.22.8
in Section 15.22: Torsion free modules
(go to statistics) - Lemma 31.4.3
in Section 31.4: Embedded points
(go to statistics) - Lemma 31.7.3
in Section 31.7: Relative assassin
(go to statistics) - Lemma 51.8.9
in Section 51.8: Finiteness of pushforwards, I
(go to statistics) - Lemma 51.9.3
in Section 51.9: Depth and dimension
(go to statistics)