Statistics for tag 01W0

Go back to the tag's page.

Complexity measure

metric value
number of results in proof 0
number of results used in preliminary results 0
number of chapters used 0
number of sections used 0
number of results (indirectly) using this tag 3

Tags (directly) using this result

  • Theorem 5.5.10.1.1 in Subsection 5.5.10: The Universal Property of $\webleft (\mathsf{Sets}_{*},\wedge ,S^{0}\webright )$
    (go to statistics)
  • Corollary 5.5.10.1.2 in Subsection 5.5.10: The Universal Property of $\webleft (\mathsf{Sets}_{*},\wedge ,S^{0}\webright )$
    (go to statistics)

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: