Skip to content

Prove identity-pivot Schur dimension bounds; attain 4d (no κ) - #4657

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ssafwann:contrib/identity-pivot-schur
Oct 22, 2026
Merged

Prove identity-pivot Schur dimension bounds; attain 4d (no κ)#4657
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ssafwann:contrib/identity-pivot-schur

Prove dimension bounds for binary identity-pivot Schur sharpness

b79f90b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs