{% 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 %}

Statistics for tag {{ tag.tag }}

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
{% endif %} {% if statistics %}

Complexity measure

{% if statistics.proof != -1 %} {% endif %} {% if statistics.preliminaries != -1 %} {% endif %} {% if statistics.chapters != -1 %} {% endif %} {% if statistics.sections != -1 %} {% endif %} {% if statistics.consequences != -1 %} {% endif %}
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 }}
{% else %}

No computed statistics for this tag


{% endif %} {% if dependencies | length > 0 %}

Tags (directly) using this result

{% else %}

No tags currently use this result

{% endif %} {% endblock %} {% block sidebar %} {{ macros.tagSidebar(tag, neighbours, "/statistics", dependencies, filename) }} {% endblock %}