(composition_continuitynil 3293831935"" (expand "continuous_at?" )"" (skosimp*)"" (inst -2 "U1!1" )"" (expand "o" -3)"" (assert )"" (inst - "inverse_image(f!1, U1!1)" )"" (assert )"" (expand "neighbourhood?" )"" (expand "interior_point?" )"" (skosimp*)"" (inst + "U!1" )"" (assert )"" (expand "subset?" )"" (skosimp*)"" "x!2" )"" assert )"" expand "inverse_image" )"" assert )"" expand "o" )"" (propax) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"T3" function_props nil )nil composition_continuity nil )"set[D]" function_image nil )"bool" topology nil )"(partial_order?[set[T]])" nil )"bool" sets nil )"bool" sets nil )nil topology nil )"bool" topology nil )"topology[T1]" composition_continuity nil )nil topology_prelim nil )"bool" topology_prelim nil )nil sets nil )nil defined_types nil )nil composition_continuity nil )"bool" topology nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil composition_continuity nil )"bool" continuity_def nil ))nil 3293833511"" (skosimp)"" (expand "continuous?" )"" (skosimp*)"" (inst - "x!1" )"" (inst - "g!1(x!1)" )"" "composition_continuous_at" "f" "f!1" "g" "g!1" "x" "x!1" ))"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" continuity_def nil )nil composition_continuity nil )nil composition_continuity nil )nil composition_continuitynil )nil composition_continuity nil ))nil 3358748001"" (skosimp) (("" (rewrite "composition_continuous" ) nil nil )) nil )nil composition_continuitynil )nil composition_continuity nil )nil composition_continuity nil )nil booleans nil )nil booleans nil )nil defined_types nil )nil sets nil )"bool" topology_prelim nil )nil topology_prelim nil )"topology[T2]" composition_continuity nil )"topology[T3]" composition_continuity nil )"bool" continuity_def nil )nil continuity_def nil )nil composition_continuity nil )"topology[T1]" composition_continuity nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
