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