Template:Theorem: Difference between revisions

← Older edit

VisualWikitext

Latest revision as of 10:17, 13 December 2024

This page was built for theorem:

@@ Line 14: / Line 14: @@
   -->{{#if:{{#invoke:Wd|property|P104|}}|[[Property:P104|{{ucfirst:{{#invoke:Wd|label|P104}}}}]]: {{#invoke:Wd|property|P104|}}<br /><br />}}<!--
 named after -->{{#if:{{#invoke:Wd|property|P558|}}|[[Property:P558|{{ucfirst:{{#invoke:Wd|label|P558}}}}]]: {{#invoke:Wd|property|P558|}}<br /><br />}}<!--
-named after -->{{#if:{{#invoke:Wd|property|P1576|}}|[[Property:P1576|{{ucfirst:{{#invoke:Wd|label|P1576}}}}]]: {{#invoke:Wd|property|P1576|}}<br /><br />}}<!--
+named after -->{{#if:{{#invoke:Wd|property|P1576|}}|[[Property:P1576|{{ucfirst:{{#invoke:Wd|label|P1576}}}}]]: {{#invoke:Wd|property|P1576|}}<br /><br />}}
-defining formula -->{{#if:{{#invoke:Wd|property|P989|}}|[[Property:P989|{{ucfirst:{{#invoke:Wd|label|P989}}}}]]: {{#invoke:Wd|property|P989|}}<br /><br />}}<!--
-formalized in mathlib -->{{#if:{{#invoke:Wd|property|P1645|}}|[[Property:P989|Formalized in:}}]]: [https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/{{#invoke:Wd|property|P1645|}} {{#invoke:Wd|property|P1645|}}]<br /><br />}}
+<!-- Show list of P1648: formalized in -->
+{{#if:{{#invoke:Wd|property|P1648|}} |
+<div class="keywords-header">
+<span class="keywords-title">[[Property:P226|{{#invoke:Wd|label|P1648}}]]</span>
+<div class="keywords-line"></div>
+</div>
+<div class="keywords-list-badge-blue">
+{{#invoke:TheoremFormalizedInList|buildFormalizedInList|{{#invoke:Wd|label|raw|}}}}
+</div>
+<br/>
+}}
+<small>This page was built for theorem: {{#invoke:Wd|label}}</small>