3 lines
79 B
Text
3 lines
79 B
Text
wf2.lean:3:8-3:17: error: tactic 'assumption' failed,
|
|
x y : Nat
|
|
⊢ x - 1 < x
|