(deriv_cont_2Dnil 3474295379"" (lemma deriv_domain) (("" (propax) nil nil )) nil )nil deriv_cont_2D nil )) nil ))nil 3474295379"" (lemma not_one_element) (("" (propax) nil nil )) nil )nil deriv_cont_2D nil )) nil ))nil 3474295432"" (skosimp*)"" (lemma cont_rv_iff_comps[T])"" (inst?)"" (assert )"" (hide 2)"" (expand "derivable_rv?" )"" (flatten)"" (lemma derivable_cont_fun[T])"1" (inst?)"1" (assert )"1" (hide -1 -2)"1" (lemma derivable_cont_fun[T])"1" (inst?) (("1" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )"2" (hide - 2)"2" (lemma "not_one_element" )"2" (propax) nil nil )) nil ))nil )"3" (hide 2)"3" (lemma "deriv_domain" )"3" (expand "deriv_domain?" )"3" (propax) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil deriv_cont_2D nil )"[real -> boolean]" deriv_cont_2D nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil cont_real_vect2 nil )"bool" deriv_real_vect2 nil )nil derivatives "analysis/" )"bool" deriv_domain_def "analysis/" )"bool" deriv_domain_def "analysis/" )nil booleans nil )nil deriv_cont_2D nil )nil deriv_cont_2D nil )nil vectors_2D_def "vectors/" ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
