Jonathan Lindegaard Starup (Sep 22 2024 at 11:22): Jonathan Lindegaard Starup (Sep 22 2024 at 11:22):The text says to prove that step r x y ==> iter r n x y (if the transitive closure of r contains x y, then you can go from x to y via r in n steps). The proper lemma should be step r x y ==> exists n. iter r n x y right? Is there a better place to report this?
Fabian Huch (Sep 23 2024 at 06:28):The exercise is to
Correct and prove the
following claim.
Jonathan Lindegaard Starup (Sep 23 2024 at 06:32):Ah :face_palm:reading too fast
Last updated: Nov 13 2025 at 04:27 UTC