| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/ Datei vom 4.1.2008 mit Größe 16 kB |
|
Quellcode-Bibliothek bug_17860.v Sprache: Coq |
|||||||||
|
Axiom Reduction_sum : forall {A}, nat -> nat -> nat -> (nat -> A) -> A.
#[local] Notation "'einsum_partλ0' s => body" := (fun s => Reduction_sum 0 s 1 (fun s => body)) (at level 200, s binder, only parsing). #[local] Notation "'einsum_partλ' s1 .. sn => body" := (einsum_partλ0 s1 => .. (einsum_partλ0 sn => body) .. ) (at level 200, s1 binder, sn binder, only parsing). ¤ 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.0.11Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
