Template:Theorem: Difference between revisions

@@ 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|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|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|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:12, 6 December 2024