Repository navigation

Prove general-H gluing for sharp ordered Schur residuals (no κ) - #5360

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

mihir-s-05:contrib/schur-primary-gluing

Oct 24, 2026

Merged

Prove general-H gluing for sharp ordered Schur residuals (no κ)#5360
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
mihir-s-05:contrib/schur-primary-gluing

Commits on Oct 23, 2026
- Prove primary gluing for sharp ordered Schur residuals
  mihir-s-05
  committed
  f69863d
- Credit concurrent independent gluing and refresh scope coverage
  mihir-s-05
  committed
  abcf271