Statistics for tag 00FP
| tag creation | last update | |
|---|---|---|
| Sep 22, 2008 | Sep 16, 2021 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 5 |
| number of chapters used | 1 |
| number of sections used | 3 |
| number of results (indirectly) using this tag | 4730 |
Tags (directly) using this result
- Theorem 10.34.1
in Section 10.34: Hilbert Nullstellensatz
(go to statistics) - Lemma 10.35.22
in Section 10.35: Jacobson rings
(go to statistics) - Lemma 10.90.5
in Section 10.90: Coherent rings
(go to statistics) - Lemma 10.141.2
in Section 10.141: Smooth ring maps in the Noetherian case
(go to statistics) - Lemma 29.21.9
in Section 29.21: Morphisms of finite presentation
(go to statistics) - Lemma 29.48.2
in Section 29.48: Finite locally free morphisms
(go to statistics) - Lemma 56.4.6
in Section 56.4: Extending functors on categories of modules
(go to statistics) - Lemma 58.21.5
in Section 58.21: Purity of branch locus
(go to statistics)