Skip to content

Prove exact square-zero tensor determinant images (no κ) - #7252

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1111d-local-obstruction
Open

Prove exact square-zero tensor determinant images (no κ)#7252
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1111d-local-obstruction

Commits

  1. Commits on Nov 11, 2026