contains theorem (P1646): Difference between revisions

From MaRDI portal
Created a new Property: contains proof, contains a mathematical proof
 
Changed [en] label: contains theorem
label / enlabel / en
contains proof
contains theorem

Revision as of 09:09, 6 December 2024

contains a mathematical proof
Language Label Description Also known as
English
contains theorem
contains a mathematical proof

    Data type

    Item

    Statements