Fixpoint CardinalityRepresentative (n : nat) : Set := match n with
| O => Empty_set
| S n' => sum (CardinalityRepresentative n') unit end. (* Toplevel input, characters 104-143: Error: In environment CardinalityRepresentative : nat -> Set n : nat n' : nat The term "(CardinalityRepresentative n' + unit)%type" has type
"Type (* max(Top.73, Top.74) *) "Set". *)
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.
