Skip to content

Prove exact lattice closure for rational rounded shears (no κ) - #6446

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w11-1102d-operator-obstruction
Open

Prove exact lattice closure for rational rounded shears (no κ)#6446
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w11-1102d-operator-obstruction

Commits

  1. Commits on Nov 2, 2026