blob: 644ef6cd7ce4786f537f572dde2dfd6f94e66232 (
plain)
1
2
3
4
5
6
|
The command has indeed failed with message:
No product even after head-reduction.
The command has indeed failed with message:
Not an inductive product.
The command has indeed failed with message:
Not an inductive product.
|
