Skip to content

Prove that succFinitePos and predFinitePos are inverse#249

Merged
ulfjack merged 1 commit into
masterfrom
ulfjack/lean-roundtrip-2
Jan 10, 2026
Merged

Prove that succFinitePos and predFinitePos are inverse#249
ulfjack merged 1 commit into
masterfrom
ulfjack/lean-roundtrip-2

Prove that succFinitePos and predFinitePos are inverse

2690e66
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar