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: Jun 20 2024 at 12:02 UTC