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