|
sort_fseq_lems[T: TYPE+, <= : (total_order?[T]) ]: THEORY
BEGIN
IMPORTING sort_fseq[T,<=],
min_fseq[T,<=], max_fseq[T,<=]
s: VAR ne_fseq
sort_seq_min : LEMMA seq(sort(s))(0) = min(s)
sort_seq_max : LEMMA seq(sort(s))(length(s)-1) = max(s)
END sort_fseq_lems
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
