No label defined (Q5195277)

From MaRDI portal
Revision as of 01:09, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7106511
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7106511

    Statements

    0 references
    18 September 2019
    0 references
    Coq
    0 references
    Bourbaki
    0 references
    sets
    0 references
    integers
    0 references
    rational numbers
    0 references
    real numbers
    0 references

    Identifiers