contains theorem (P1646)

From MaRDI portal
Revision as of 09:09, 6 December 2024 by Tconrad (talk | contribs) (‎Changed [en] description: contains a mathematical theorem)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
contains a mathematical theorem
Language Label Description Also known as
English
contains theorem
contains a mathematical theorem

    Data type

    Item

    Statements