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: Feb 08 2023 at 23:03 UTC