lemma set_lemmas: "f(x) \ (\x. {f(x)})" "f x y \ (\x y. {f x y})" "\a. (\x. a \ f(x)) \ a \ (\x. {f(x)})" "\a. (\x y. a \ f x y) \ a \ (\x y. {f x y})" by auto
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
