(composition_continuousnil 3401127653"" (skosimp)"" (expand "metric_continuous?" )"" (skosimp)"" (expand "metric_continuous_at?" )"" (expand "ball" )"" (expand "member" )"" (skosimp)"" (inst - "x!1" )"" (inst -2 "g!1(x!1)" )"" (inst -2 "epsilon!1" )"" (skosimp)"" (inst - "delta!1" )"" (skosimp)"" (inst + "delta!2" )"" "" "x!2" )"" "g!1(x!2)" )"" expand "o " )"" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" metric_continuity nil )"bool" metric_continuity nil )"bool" sets nil )nil composition_continuous nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )nil booleans nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil real_types nil )"T3" function_props nil )"(strict_total_order?[real])" real_props nil )nil composition_continuous nil )"set[T]" metric_space_def nil ))quality 93%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
