Skip to content

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

Credit concurrent independent gluing and refresh scope coverage

abcf271
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 3m 35s