| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/orders/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 1 kB |
|
Quellcode-Bibliothek finite_sets_aux.pvsSprache: PVS |
|||||||||||||||
|
finite_sets_aux[T: TYPE+]: THEORY BEGIN N: VAR nat is_finite_exists_N: LEMMA FORALL (g: [below[N] -> T]): is_finite({r: T | EXISTS (n: below[N]): r = g(n)}) END finite_sets_aux
¤ 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.0.19Bemerkung: (vorverarbeitet am 2026-04-27) ¤*Bot Zugriff |
|
||||||||||||||
2026-05-26