Template:Theorem: Difference between revisions
From MaRDI portal
Created page with "{{DISPLAYTITLE:{{#invoke:Wd|label}}}} {{DISPLAYTITLE:{{#invoke:Wd|label}}}} {{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|MaRDI QID|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} {{#invoke:wd|description}}" |
No edit summary |
||
| Line 3: | Line 3: | ||
{{DISPLAYTITLE:{{#invoke:Wd|label}}}} | {{DISPLAYTITLE:{{#invoke:Wd|label}}}} | ||
{{#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|property|P1645|}} | {{Template:Badge|mathlib4|https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/{{#invoke:Wd|property|P1645|}}|{{#invoke:Wd|property|P1645|}}}} }}<!-- 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|}}}} }} | |||
{{#invoke:wd|description}} | {{#invoke:wd|description}} | ||
Revision as of 21:04, 5 December 2024
