nat * nat : Type
: Type
0 * 0 : nat
: nat
Z0 * Z0 : Z
: Z
File "./output/TermSyntax.v", line 11, characters 17-22:
The command has indeed failed with message:
Unknown interpretation for notation "{ _ ; _ }".
fun '(exist _ x _) => x
: b -> bool
[ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
]
