defining formula (P29)

From MaRDI portal
mathematical formula representing a theorem or law. Maximum length: 400 characters
Language Label Description Also known as
English
defining formula
mathematical formula representing a theorem or law. Maximum length: 400 characters

    Data type

    Mathematical expression

    Statements