| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/sets_aux/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 553 B |
|
Quelle inverse_image_Union.pvsSprache: PVS |
|||||||||||||||
|
%------------------------------------------------------------------------------ % inverse_image_Union % % Author: David Lester, Manchester University % % Version 1.0 14/06/09 Initial Version %------------------------------------------------------------------------------ inverse_image_Union[S,T:TYPE]: THEORY BEGIN f: VAR [S->T] y: VAR set[S] X: VAR setofsets[T] inverse_image_Union: LEMMA inverse_image(f,Union(X)) = Union({y | EXISTS (x:(X)): y=inverse_image(f,x)}) END inverse_image_Union
¤ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet am 2026-06-14) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09