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

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

LightChainr wants to merge 1 commit into

mainLightChainr/Matching-One:mainfrom

proof/p680-nn-nnn-noncrossing-lemma-20260913LightChainr/Matching-One:proof/p680-nn-nnn-noncrossing-lemma-20260913Copy head branch name to clipboard