Template:Theorem: Difference between revisions
From MaRDI portal
No edit summary |
No edit summary |
||
| Line 17: | Line 17: | ||
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|{{ucfirst:{{#invoke:Wd|label|P1645}}}}]]: {{#invoke:Wd|property|P1645|}}<br /><br />}} | formalized in mathlib -->{{#if:{{#invoke:Wd|property|P1645|}}|[[Property:P989|{{ucfirst:{{#invoke:Wd|label|P1645}}}}]]: https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/{{#invoke:Wd|property|P1645|}}<br /><br />}} | ||
Revision as of 02:08, 6 December 2024
