Template:Theorem: Difference between revisions

@@ Line 15: / Line 15: @@
 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 />}}<!--
-defining formula -->{{#if:{{#invoke:Wd|property|P989|}}|[[Property:P989|{{ucfirst:{{#invoke:Wd|label|P989}}}}]]: {{#invoke:Wd|property|P989|}}<br /><br />}}<!--
+formalized in -->{{#if:{{#invoke:Wd|property|P1648|}}|[[Property:P1648|{{ucfirst:{{#invoke:Wd|label|P1648}}}}]]: {{#invoke:Wd|property|P1648|}}<br /><br />}}
-formalized in mathlib -->{{#if:{{#invoke:Wd|property|P1645|}}|[[Property:P1645|Formalized in]]: [https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/{{#invoke:Wd|property|P1645|}} {{#invoke:Wd|property|P1645|}}]<br /><br />}}

Revision as of 10:02, 6 December 2024