(commutative_semigroupnil 3294074461"" (lemma "fullset_is_commutative_semigroup" )"" (expand "commutative_semigroup?" )"" (expand "commutative_groupoid?" )"" (expand "semigroup?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil )"bool" semigroup_def nil )"bool" groupoid_def nil )nil nil ))nil 3294074461"" (lemma "fullset_is_commutative_semigroup" )"" (expand "commutative_semigroup?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil )"bool" semigroup_def nil )nil nil ))nil 3294074461"" (lemma "fullset_is_commutative_semigroup" )"" (propax) nil nil )) nil )nil nil ))nil 3294074461"" (skosimp)"" (typepred "x!1" )"" (expand "commutative_semigroup?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil ))nil )nil nil )"bool" semigroup_def nil )"[T, T -> T]" commutative_semigroup nil )set type-eq-decl nil sets nil )nil commutative_semigroup nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil 3294079423"" (skosimp)"" (typepred "x!1" )"" (expand "commutative_semigroup?" )"" (expand "semigroup?" )"" (expand "commutative_groupoid?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )nil nil )"bool" semigroup_def nil )"[T, T -> T]" commutative_semigroup nil )set type-eq-decl nil sets nil )nil commutative_semigroup nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" groupoid_def nil ))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
