← Back to context Comment by sn9 1 year ago You can just type in `rfl` to assert that `37 = 37` (or anything of the form `X = X`). 1 comment sn9 Reply hammock 1 year ago I typed in rfl and hit execute and nothing happened (it added a line above but did not say I solved anything)
hammock 1 year ago I typed in rfl and hit execute and nothing happened (it added a line above but did not say I solved anything)
I typed in rfl and hit execute and nothing happened (it added a line above but did not say I solved anything)