[Imprint]
[Data Privacy Statement]
[E-Mail]
Back to
main index
. View
the specification
. View
theorem base summary
, View
theorem base listing
, the
used properties by spec
, the
dependency list
, the
symbol table
,
Theorem base summary for Specification real-limit
Status:
Proved!
Axioms: 7, User Theorems: 17 (Proved: 17, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 342, Interactions: 208
bounded-any-postfix(58,33)
converges-neg-converges(10,6)
limit-unique(48,28)
monge-def(0,0)
monle-boundedle-limit-below-bound(19,13)
boundedge-def(0,0)
convergesto-def(0,0)
monge-boundedge-converges(6,4)
monge-limit-inf(15,11)
monle-converges-sup(52,36)
boundedge-neg-boundedle(6,2)
convergesto-neg-convergesto(28,12)
monge-boundedge-f-above-bound(9,6)
monge-neg-monle(6,2)
monle-def(0,0)
boundedle-def(0,0)
limit-def(0,0)
monge-boundedge-limit-above-bound(10,6)
monle-boundedle-converges(5,2)
monle-limit-sup(6,4)
converges-def(0,0)
limit-neg-limit(13,8)
monge-converges-inf(33,21)
monle-boundedle-f-below-bound(18,14)