Now f is continuous (exercise (Q5195268)

From MaRDI portal
scientific article; zbMATH DE number 7106503
Language Label Description Also known as
English
Now f is continuous (exercise
scientific article; zbMATH DE number 7106503

    Statements

    0 references
    18 September 2019
    0 references
    interactive theorem proving
    0 references
    decision procedure
    0 references
    formalised mathematics
    0 references
    Now f is continuous (exercise (English)
    0 references

    Identifiers