(composition_borelnil 3384890801"" (skosimp)"" (expand "o" )"" (expand "borel_function?" )"" (skosimp)"" (inst - "B!1" )"" (inst - "inverse_image(f!1,B!1)" )"" (expand "inverse_image" )"" (expand "member" ) (("" (propax) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"T3" function_props nil )"borel[T3, U]" composition_borel nil )"[T2 -> T3]" composition_borel nil )"set[D]" function_image nil )set type-eq-decl nil sets nil )"topology[T2]" composition_borel nil )nil composition_borel nil )"bool" sets nil )nil borel nil )"sigma_algebra" borel nil )"topology[T3]" composition_borel nil )nil topology_prelim "topology/" )"bool" topology_prelim "topology/" )nil subset_algebra_def nil )"bool" subset_algebra_def nil )nil sets nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil composition_borel nil )"bool" borel_functions nil ))nil 3384890745"" (skosimp)"" (lemma "composition_borel" ("g" "G!1" "f" "F!1" ))"" (assert ) nil nil )) nil ))nil )"topology[T1]" composition_borel nil )nil composition_borel nil )nil borel_functions nil )"bool" borel_functions nil )"topology[T3]" composition_borel nil )"topology[T2]" composition_borel nil )nil topology_prelim "topology/" )"bool" topology_prelim "topology/" )nil sets nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil composition_borel nil )nil composition_borel nil )nil composition_borel nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
