Template:Theorem: Difference between revisions
From MaRDI portal
No edit summary |
No edit summary Tag: Reverted |
||
| Line 4: | Line 4: | ||
{{#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|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|property|P1195|}} | {{Template:Badge|nLib|https://ncatlab.org/nlab/show/{{#invoke:Wd|property|P1195|}}|{{#invoke:Wd|property|P1195|}}}} }}<!-- Line break for readability | -->{{#if:{{#invoke:Wd|property|P1195|}} | | ||
{{Template:Badge|nLib|https://ncatlab.org/nlab/show/{{#replace:{{#invoke:Wd|property|P1195|}}| |%20}}|{{#invoke:Wd|property|P1195|}}}} | |||
}}<!-- 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|}}}} }} | ||
Revision as of 00:08, 6 December 2024
