Template:Theorem: Difference between revisions
From MaRDI portal
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
{{DISPLAYTITLE:{{#invoke:Wd|label}}}} | {{DISPLAYTITLE:{{#invoke:Wd|label}}}} | ||
{{#if:{{#invoke:Wd|property|P1202|}} | {{Template:Badge|Encyclopedia of Mathematics|https://encyclopediaofmath.org/wiki/{{#invoke:Wd|property|P1202|}}|{{#invoke:Wd|property|P1202|}}}} }}<!-- Line break for readability | |||
-->{{#if:{{#invoke:Wd|property|P12|}} | {{Template:Badge|WikiData|https://www.wikidata.org/wiki/{{#invoke:Wd|property|P12|}}|{{#invoke:Wd|property|P12|}}}} }}<!-- Line break for readability | -->{{#if:{{#invoke:Wd|property|P12|}} | {{Template:Badge|WikiData|https://www.wikidata.org/wiki/{{#invoke:Wd|property|P12|}}|{{#invoke:Wd|property|P12|}}}} }}<!-- Line break for readability | ||
-->{{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|[[Help:MaRDI QID|MaRDI QID]]|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} | -->{{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|[[Help:MaRDI QID|MaRDI QID]]|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} | ||
| Line 17: | Line 16: | ||
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 />}}<!-- | 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 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 />}} | ||
Revision as of 02:11, 6 December 2024
