| products/Sources/formale Sprachen/PVS/metric_space/ (Linux Kernel Version 6.17.9©) Datei vom 28.9.2014 mit Größe 2 kB |
|
Impressum bug_4495.v Sprache: Coq |
|||||||||||||||
|
Fail Notation "'forall' x .. y ',' P " := (forall x, .. (forall y, P) ..) (at level 200, x binder, y bi
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-09-30) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-10