Skip to content

Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978) - #1997

Merged
PerAlexandersson merged 4 commits into
mainfrom
formalize/recurrence-spaces
Oct 21, 2026
Merged

Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978)#1997
PerAlexandersson merged 4 commits into
mainfrom
formalize/recurrence-spaces

Commits

  1. Commits on Oct 21, 2026