H: x=b Goal: x<b (while x b are nat).

Please think of what it means mathematically before attempting to prove something in Coq.

Last updated: Sep 23 2023 at 14:01 UTC