assumes (P1674)

From MaRDI portal
(qualifier) mathematical assumption under which a statement holds true
Language Label Description Also known as
default for all languages
No label defined
    English
    assumes
    (qualifier) mathematical assumption under which a statement holds true

      Data type

      Item

      Statements