{% extends "layout.html" %} {% block title %}Statistics for tag {{ tag.tag }}{% endblock %} {% block head %} {% endblock %} {% block breadcrumb %} {{ macros.breadcrumb(breadcrumb) }} {% endblock %} {% block hamburger %} {{ macros.tagHamburger(tag, neighbours, "/statistics", dependencies) }} {% endblock %} {% block body %}
Go back to the tag's page. {% if creation and update %}
tag creation | last update | |
---|---|---|
{{ creation.strftime("%b %-d, %Y") }} | {{ update.strftime("%b %-d, %Y") }} | more history |
metric | value |
---|---|
number of results in proof | {{ statistics.proof }} |
number of results used in preliminary results | {{ statistics.preliminaries }} |
number of chapters used | {{ statistics.chapters }} |
number of sections used | {{ statistics.sections }} |
number of results (indirectly) using this tag | {{ statistics.consequences }} |