Skip to content

Prove same-rho Schur closure for the completed parity-triangular caller - #4209

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
ToikY:codex/schur-majorant-closure
Oct 21, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
ToikY:codex/schur-majorant-closure

Commits

  1. Commits on Oct 20, 2026