Skip to content

Prove nilpotent Schur residual normal form and fixed-H weights (no κ) - #5267

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ssafwann:contrib/schur-nilpotent-extension
Oct 23, 2026
Merged

Prove nilpotent Schur residual normal form and fixed-H weights (no κ)#5267
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ssafwann:contrib/schur-nilpotent-extension

Prove nilpotent Schur residual extension and fixed-H weights

8ab280c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 41s