|
sort_seq_lems[T: TYPE+, <= : (total_order?[T]) ]: THEORY
BEGIN
IMPORTING sort_seq[T,<=],
min_seq[T,<=], max_seq[T,<=]
s: VAR ne_seqs
sort_seq_min : LEMMA seq(sort(s))(0) = min(s)
sort_seq_max : LEMMA seq(sort(s))(length(s)-1) = max(s)
END sort_seq_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.
|
