[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,

Lemma dependency for Specification oset

A lemma (entry) may depend on lemmas (entries) below its position, but never on lemmas above its position. This means the list is a topological order of the dependency graph. An entry 'all subs proved' means that all used lemmas are (transitively) proved.

Name: Status: Subs proved? Used:
bmin-two-06provedall subs proved bmin-two-07, min-inn,
bmin-two-07provedall subs proved bmin-two-01, bmin-two-02, size-two,
bmin-two-08provedall subs proved min-two, bmin-two-01, min-two-01, min-one, bmin-two-02, size-two,
bmin-two-05provedall subs proved bmin-two-01, min-two, min-one, bmin-two-02, min-two-01, size-two,
bmin-two-04provedall subs proved bmin-two-01, min-two, min-one, bmin-two-02, min-two-01, size-two,
bmin-twoprovedall subs proved bmin-two-01, min-one, bmin-two-02, size-two,
bmin-sub-02provedall subs proved min-two, bmin-two-01, min-two-01, min-one, bmin-two-02, size-two, Min-in, Max-in, Min-min, Max-max,
bmin-sub-01provedall subs proved bmin-two-01, min-one, bmin-two-02, Min-in, Max-in, Min-min, Max-max, size-two, min-sub, min-subset,
bmin-del-04provedall subs proved minmax-04, bmin-del-03, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-two-02provedall subs proved bmin-two-01,
bmin-del-03provedall subs proved bmin-del-02, min-del-01, Butmin,
minmax-01provedall subs proved Min-min, Max-max, min-one-01, Min-in, Max-in, Butmin,
minmaxprovedall subs proved Min-min, Max-max, min-one-01, Min-in, Max-in, Butmax, Butmin,
min-two-02provedall subs proved min-two, min-two-01, Min-in, Max-in, Min-min, Max-max,
min-ins-04provedall subs proved min-insert, minmax-04, Min-min, Max-max, Min-in, Max-in,
min-ins-03provedall subs proved min-insert, min-ins-01, minmax-04, Min-min, Max-max, Min-in, Max-in,
max-ins-01provedall subs proved max-ifins,
max-insprovedall subs proved max-ifins,
butmin-ins-01provedall subs proved min-insert, Butmin, minmax-04, Min-min, Max-max, Min-in, Max-in,
butmin-insprovedall subs proved min-insert, min-ins-01, minmax-04, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-two-03provedall subs proved min-two, bmin-two-01,
bmin-one-03provedall subs proved min-one-01, Butmin, minmax-04, Min-min, Max-max, Min-in, Max-in,
bmin-minprovedall subs proved min-delmin-01, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-blsprovedall subs proved min-one-01, min-delmin, Min-min, Max-max, Min-in, Max-in, Butmin,
bmax-one-01provedall subs proved max-one-01, Butmax, minmax-04, Min-min, Max-max, Min-in, Max-in,
max-ifinsprovedall subs proved max-gr, max-q, Min-min, Max-max, Min-in, Max-in, max-one,
min-insertprovedall subs proved min-inn, minmax-04, Min-min, Max-max, Min-in, Max-in,
min-two-01provedall subs proved min-two,
bmin-two-01provedall subs proved min-two, bmin-del-05,
min-delmin-01provedall subs proved min-subset, Min-min, Max-max, Min-in, Max-in,
min-del-01provedall subs proved min-del,
min-delminprovedall subs proved min-subset, min-less, Min-min, Max-max, Min-in, Max-in,
min-one-01provedall subs proved min-one,
max-one-01provedall subs proved max-one,
min-sub-01provedall subs proved minmax-04, min-less, Min-in, Max-in, Min-min, Max-max,
min-intemptyprovedall subs proved minmax-04, Min-in, Max-in, Min-min, Max-max,
max-bminprovedall subs proved minmax-02, max-del-01, Min-min, Max-max, Min-in, Max-in, Butmin,
ls-rmprovedall subs proved max-in, minmax-04, Min-in, Max-in, Min-min, Max-max, Greater,
ls-addprovedall subs proved max-in, minmax-04, Min-in, Max-in, Min-min, Max-max, Greater,
bmin-sub-05provedall subs proved min-less, minmax-04, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-one-01provedall subs proved min-one, max-one, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-oneprovedall subs proved min-one, bmin-del-05, Min-min, Max-max, Min-in, Max-in,
bmin-intemptyprovedall subs proved min-less, minmax-04, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-in-04provedall subs proved min-subset, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-inprovedall subs proved min-inn, Min-min, Max-max, ins-inbutmins,
bmin-bneqprovedall subs proved max-one, min-one, Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-binprovedall subs proved min-one, max-one, min-subset, Min-min, Max-max, Min-in, Max-in, Butmin,
bmax-shiftprovedall subs proved max-del-01, Butmax,
bmax-oneprovedall subs proved max-one, Butmax, Min-min, Max-max, Min-in, Max-in,
bmax-minprovedall subs proved minmax-02, min-del, minmax-04, Min-min, Max-max, Min-in, Max-in, Butmax,
bmax-maxprovedall subs proved Min-min, Max-max, Min-in, Max-in, max-del, Butmax,
bm-shiftprovedall subs proved bmin-del-02, min-del, minmax-02, max-del-01, bmax-def, Min-min, Max-max, Min-in, Max-in, Butmax, Butmin,
min-ins-01provedall subs proved min-q, Min-in, Max-in, Min-min, Max-max,
min-twoprovedall subs proved min-q,
ins-inbutminsprovedall subs proved Min-min, Max-max, bmin-f, bmin-in-01,
min-subsetprovedall subs proved min-sub,
min-oneprovedall subs proved min-q,
max-oneprovedall subs proved max-q,
minmax-04provedall subs proved max-gr, Min-in, Max-in,
max-delprovedall subs proved max-subset-01, Max-max,
max-del-01provedall subs proved max-gr, max-q, Min-min, Max-max, Min-in, Max-in,
minmax-02provedall subs proved minmax-03, max-gr, Min-min, Max-max, Min-in, Max-in,
min-delprovedall subs proved min-q, Min-min, Max-max, Min-in, Max-in,
min-ins-05provedall subs proved min-inn,
min-ins-02provedall subs proved min-q, Min-min, Max-max, Min-in, Max-in,
bmin-nin-02provedall subs proved bmin-in-01,
minmax-03provedall subs proved Min-min, Max-max, Min-in, Max-in,
min-qprovedall subs proved Min-in, Max-in, Min-min, Max-max,
max-qprovedall subs proved Min-in, Max-in, Min-min, Max-max,
max-grprovedall subs proved Min-in, Max-in, Min-min, Max-max,
max-subset-01provedall subs proved Min-min, Max-max, Min-in, Max-in,
max-inprovedall subs proved Min-in, Max-in,
bmin-fprovedall subs proved Butmin,
min-subprovedall subs proved Min-min, Max-max, Min-in, Max-in,
bmin-del-05provedall subs proved Butmin,
bmin-in-01provedall subs proved Butmin, Min-min, Max-max,
min-lessprovedall subs proved Min-min, Max-max,
min-innprovedall subs proved Min-in, Max-in,
bmax-defprovedall subs proved Butmax,
bmin-del-02provedall subs proved Butmin,
min-lsprovedall subs proved Min-in, Max-in,
min-incprovedall subs proved Min-in, Max-in,
maxunionprovedall subs proved Min-min, Max-max, Min-in, Max-in,
max-subsetprovedall subs proved Min-min, Max-max, Min-in, Max-in,
ls-emptysetprovedall subs proved Greater,
diff-minprovedall subs proved Min-in, Max-in, Min-min, Max-max,
butminempty-sizeoneprovedall subs proved Min-in, Max-in, Butmin,
butmin-inprovedall subs proved Butmin,
bminminprovedall subs proved Min-in, Max-in, Butmin,
bmin-sub-04provedall subs proved Butmin,
bmin-sub-03provedall subs proved Butmin,
bmin-subprovedall subs proved Butmin,
bmin-size-02provedall subs proved Min-in, Max-in, Butmin,
bmin-size-01provedall subs proved Min-in, Max-in, Butmin,
bmin-sizeprovedall subs proved Min-in, Max-in, Butmin,
bmin-one-02provedall subs proved Min-in, Max-in, Butmin, Min-min, Max-max,
bmin-nin-01provedall subs proved Butmin,
bmin-ninprovedall subs proved Butmin,
bmin-in-03provedall subs proved Butmin,
bmin-eq-01provedall subs proved Min-min, Max-max, Min-in, Max-in, Butmin,
bmin-eqprovedall subs proved Min-in, Max-in, Butmin,
bmin-del-01provedall subs proved Butmin,
bmin-delprovedall subs proved Butmin,
bmax-in-02provedall subs proved Butmax,
bmax-in-01provedall subs proved Butmax,
bmax-inprovedall subs proved Butmax, Min-min, Max-max,
bmax-emptyprovedall subs proved Min-in, Max-in, Butmax,
Greateraxiom
size-twoprovedall subs proved
Butminaxiom
Butmaxaxiom
Max-inaxiom
Min-inaxiom
Max-maxaxiom
Min-minaxiom