Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Notation "n .+1" := (S n) (* n in scope _nat_scope *) : nat_scope
(default interpretation) (from bug_9180)
forall x : nat, x.+1 = x.+1
: Prop
[ Dauer der Verarbeitung: 0.54 Sekunden
]
