DLMF:1.4.E3 (Q82)

From testwiki
Revision as of 14:50, 1 January 2020 by imported>Admin (Admin moved page Main Page to Verifying DLMF with Maple and Mathematica)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
No description defined
Language Label Description Also known as
English
DLMF:1.4.E3
No description defined

    Statements

    test
    f ⁢ ( c - ) ≡ lim x → c - ⁡ f ⁢ ( x ) = f ⁢ ( c ) . equal-by definition 𝑓 limit-from 𝑐 subscript → 𝑥 limit-from 𝑐 𝑓 𝑥 𝑓 𝑐 {\displaystyle{\displaystyle f(c-)\equiv\lim_{x\to c-}f(x)=f(c).}}
    0 references
    DLMF id
    DLMF:1.4.E3
    0 references
    Symbols used
    Q10769
    test
    ≡ equal-by definition {\displaystyle{\displaystyle\equiv}}
    xml-id
    introduction.Sx4.p1.t1.r9.m2aadec
    0 references
     
      Retrieved from "https://lct.wmflabs.org/w/index.php?title=Item:Q82&oldid=1273"