| products/Sources/formale Sprachen/PVS/summaries/ (PVS Prover Version 6.0.9©) Datei vom 7.10.2014 mit Größe 47 kB |
|
Quelle 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
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-15) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09