(commutative_groupoidnil 3294053873"" (lemma "fullset_is_commutative_groupoid" )"" (propax) nil nil )) nil )nil nil ))nil 3294053895"" (skosimp)"" (lemma "fullset_is_commutative_groupoid" )"" (expand "commutative_groupoid?" )"" (flatten)"" (expand "commutative?" )"" (inst - "x!1" "y!1" )"1" (expand "restrict" ) (("1" (propax) nil nil )) nil )"2" (expand "fullset" ) (("2" (propax) nil nil )) nil )"3" (expand "fullset" ) (("3" (propax) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )nil nil )"T" commutative_groupoid nil )"set" sets nil ) (set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil commutative_groupoid nil )"T" commutative_groupoid nil )"R" restrict nil )"bool" operator_defs nil )"bool" groupoid_def nil ))nil 3294053873"" (skosimp)"" (typepred "x!1" )"" (expand "commutative_groupoid?" ) (("" (flatten) nil nil ))nil ))nil ))nil )nil nil )"bool" groupoid_def nil )"[T, T -> T]" commutative_groupoid nil )set type-eq-decl nil sets nil )nil commutative_groupoid nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))quality 100%
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
