Prove that succFinitePos and predFinitePos are inverse - #249

Prove that succFinitePos and predFinitePos are inverse#249

ulfjack merged 1 commit into

masterulfjack/ryu:masterfrom

ulfjack/lean-roundtrip-2ulfjack/ryu:ulfjack/lean-roundtrip-2Copy head branch name to clipboard