[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,
Used simplifier rules/spec theorems by specification
Used from specification int-basic1
- int-inf-basic/disj-01
is used by
trans,
less-reflex-rev,
less-reflex,
antisym,
- int-inf-basic/disj-02
is used by
trans,
less-reflex-rev,
less-reflex,
antisym,
- int-inf-basic/inj
is used by
antisym,
- int-inf-basic/sel
is used by
less-reflex-rev,
less-reflex,