3 ms·
I still am completely lost. Can you give me the answer so I can see what input is supposed to look like? In my head I want to solve it with 37=37, x=x and q=q.
by hammock 2y ago
I still am completely lost. Can you give me the answer so I can see what input is supposed to look like?
In my head I want to solve it with 37=37, x=x and q=q. And then run rfl
- sn9 2y agoIf it shows you something of the form `X=X` like `37=37`, you then type in `rfl` to assert that they are equal by the reflective property which completes the proof.