Statistics for tag 01B3
| tag creation | last update | |
|---|---|---|
| Nov 23, 2008 | Jan 25, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 16 |
| number of chapters used | 4 |
| number of sections used | 10 |
| number of results (indirectly) using this tag | 4270 |
Tags (directly) using this result
- Lemma 17.9.2
in Section 17.9: Modules of finite type
(go to statistics) - Lemma 17.10.4
in Section 17.10: Quasi-coherent modules
(go to statistics) - Lemma 26.4.7
in Section 26.4: Closed immersions of locally ringed spaces
(go to statistics)