Skip to content

Prove D1^4 = I leaves the residual x1 monomial nonzero - #7056

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/residual-d1-fourth-power-0872
Open

Prove D1^4 = I leaves the residual x1 monomial nonzero#7056
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/residual-d1-fourth-power-0872

Prove D1^4 = I leaves the residual x1 monomial nonzero.

8478d08
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 10, 2026 in 4m 5s