Skip to content

One-sided padding lemma: P112 to P120 at cost exactly +8 (L120 suffices for Delta >= n_nf) - #3074

Open
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/one-sided-padding-lemma
Open

One-sided padding lemma: P112 to P120 at cost exactly +8 (L120 suffices for Delta >= n_nf)#3074
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/one-sided-padding-lemma

Commits

  1. Commits on Oct 16, 2026