Prove that succFinitePos and predFinitePos are inverse#249

ulfjack merged 1 commit intomasterulfjack/ryu:masterfrom

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