[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 list-setequal
Status:
Proved!
Axioms: 1, User Theorems: 13 (Proved: 13, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 30, Interactions: 8
elem-setequal(1,0)
setequal-refl(1,0)
setequal-trans(1,0)
subset-setequal-trans2(1,0)
elem-setequal2(1,0)
setequal-subset-trans1(1,0)
setequal-trans2(1,0)
swap-init-setequal(4,2)
ext-setequal(15,6)
setequal-subset-trans2(1,0)
setequal-trans3(1,0)
setequal-def(0,0)
setequal-sym(1,0)
subset-setequal-trans1(1,0)