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

Commits

  1. Commits on Nov 10, 2026