Loading [MathJax]/extensions/tex2jax.js

The Stacks project

Statistics for tag 0H1R

Go back to the tag's page.

tag creation last update
Aug 21, 2022 Aug 25, 2022 more history

Complexity measure

metric value
number of results in proof 4
number of results used in preliminary results 1256
number of chapters used 36
number of sections used 332
number of results (indirectly) using this tag 2

Tags (directly) using this result