Skip to content

[P2 proof] #680: NN+NNN strip frontier partitions are noncrossing — proof + small-width control + convention reconciliation - #754

Draft
LightChainr wants to merge 1 commit into
mainfrom
proof/p680-nn-nnn-noncrossing-lemma-20260913
Draft

[P2 proof] #680: NN+NNN strip frontier partitions are noncrossing — proof + small-width control + convention reconciliation#754
LightChainr wants to merge 1 commit into
mainfrom
proof/p680-nn-nnn-noncrossing-lemma-20260913

p680 (#680): NN+NNN strip frontier partitions — noncrossing lemma pro…

d446f59
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar