diff --git a/templates/1000.html b/templates/1000.html index 96b9135a5..a97efe73e 100644 --- a/templates/1000.html +++ b/templates/1000.html @@ -17,7 +17,11 @@

1000+ theorems

{% for theorem in thousand_theorems|selectattr('formalized') %} -
{{ theorem.id }}: {{ theorem.title }} #
+
+ {{ theorem.id }}: + {{ theorem.title }} + # +
{% if theorem.author %}

Author{% if ' and ' in theorem.author %}s{% endif %}: {{ theorem.author }}

{% endif %} {% if theorem.statement %}

{{ theorem.statement }}

{% endif %} {% for doc in theorem.doc_decls|default([], true) %}