Repository navigation

refactor(List,Ladner,PSPACE): move replicate delimiter idxOf lemmas to Foundations (#949) - #962

Merged

SamuelSchlesinger merged 1 commit into

mainfrom

refactor/list-replicate-idxof-949

Oct 25, 2026

Merged

refactor(List,Ladner,PSPACE): move replicate delimiter idxOf lemmas to Foundations (#949)#962
SamuelSchlesinger merged 1 commit into
mainfrom
refactor/list-replicate-idxof-949

Commits on Oct 25, 2026
- refactor(List,Ladner,PSPACE): move replicate delimiter idxOf lemmas to Foundations (#949)
  SamuelSchlesinger
  committed
  d695bde