assumes (P1674)

From MaRDI portal
(qualifier) mathematical assumption under which a statement holds true
Language Label Description Also known as
English
assumes
(qualifier) mathematical assumption under which a statement holds true

    Data type

    Item

    Statements