(identity_continuitynil 3301762820"" (expand "continuous_at?" )"" (expand "neighbourhood?" )"" (expand "interior_point?" )"" (expand "subset?" )"" (skosimp*)"" (assert )"" (expand "I" )"" (expand "inverse_image" )"" (assert )"" (typepred "U!2" )"" (inst + "U!2" ) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" topology nil )"bool" sets nil )"bool" sets nil )"set[D]" function_image nil )nil topology nil )"bool" topology nil )"topology" identity_continuity nil )nil topology_prelim nil )"bool" topology_prelim nil )nil sets nil )nil defined_types nil )set type-eq-decl nil sets nil )nil identity_continuity nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"(bijective?[T, T])" identity nil )"bool" topology nil )"bool" continuity_def nil ))nil 3301762791"" (expand "continuous?" )"" (lemma "id_continuous_at" ) (("" (propax) nil nil )) nil )) nil )nil identity_continuity nil )"bool" continuity_def nil ))nil 3454592304 ("" (judgement-tcc) nil nil )"(bijective?[T, T])" identity nil )"bool" sets nil )"bool" sets nil )"topology" identity_continuity nil )nil topology_prelim nil )"bool" topology_prelim nil )nil sets nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil identity_continuity nil )"bool" topology nil )"bool" topology nil )"set[D]" function_image nil )"bool" continuity_def nil )"bool" continuity_def nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
¤ *Bot Zugriff
