The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable x.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable x.
The command has indeed failed with message:
A fully applied tactic is expected: missing arguments for variables y and _.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable x.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable x.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable _.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable _.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable _.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable x.
The command has indeed failed with message:
A fully applied tactic is expected: missing argument for variable x.