(homeomorphic_symmetricnil 3301318565"" (split)"1" (expand "homeomorphic?" )"1" (skosimp*)"1" (inst + "inverse_alt(f!1)" )"1" (expand "homeomorphism?" )"1" (flatten)"1" "bijective_inverse_alt_is_bijective[T1,T2]" "f" "f!1" ))"1" (assert )"1" (lemma "inverse_inverse_alt" ("f" "f!1" ))"1" (assert ) nil nil )) nil ))nil )"2" (propax) nil nil )"3" (hide-all-but (1 -1))"3" (expand "bijective?" )"3" (flatten)"3" (expand "surjective?" )"3" (skosimp*)"3" (inst - "r!1" )"3" (skosimp)"3" (inst + "x!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "homeomorphism?" )"2" (flatten)"2" (expand "bijective?" )"2" (flatten)"2" (expand "surjective?" )"2" (skosimp*)"2" (inst - "r!1" )"2" (skosimp*) (("2" (inst + "x!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "homeomorphic?" )"2" (skosimp*)"2" (inst + "inverse_alt(f!1)" )"1" (expand "homeomorphism?" )"1" (flatten)"1" "bij_inv_is_bij_alt" "f" "f!1" "g" "inverse_alt(f!1)" ))"1" (assert )"1" (lemma "inverse_inverse_alt" ("f" "f!1" ))"1" (assert ) nil nil )) nil ))nil )"2" (hide-all-but (-1 1))"2" (expand "bijective?" )"2" (flatten)"2" (skosimp*)"2" (expand "surjective?" )"2" (inst - "r!1" )"2" (skosimp)"2" (inst + "x!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"3" (propax) nil nil ))nil ))nil ))nil )"2" (expand "homeomorphism?" )"2" (expand "bijective?" )"2" (expand "surjective?" )"2" (flatten)"2" (skosimp)"2" (inst - "r!1" )"2" (skosimp) (("2" (inst + "x!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil function_inverse_def nil )"bool" homeomorphism_def nil )"bool" booleans nil )nil homeomorphic_symmetric nil )"bool" booleans nil )nil homeomorphic_symmetric nil )OR const-decl "[bool, bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" function_inverse_def nil )nil function_inverse_alt nil )"inverses(f)" function_inverse_alt nil )"bool" functions nil )nil function_inverse_alt_aux"structures/" )"bool" functions nil )nil nil )"bool" homeomorphism_def nil ))quality 100%
¤ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
