I typed in rfl and hit execute and nothing happened (it added a line above but d...

		hammock on Dec 18, 2024 \| parent \| context \| favorite \| on: Natural Number Game: build the basic theory of the... I typed in rfl and hit execute and nothing happened (it added a line above but did not say I solved anything)