Repository navigation

Prove low-span clean-helper bounds for arbitrary target pairs (no new κ) - #6757

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

CubeJerry:research-20261106b-algebraic-flags

Nov 10, 2026

Merged

Prove low-span clean-helper bounds for arbitrary target pairs (no new κ)#6757
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research-20261106b-algebraic-flags

Commits on Nov 6, 2026
- Retain exact #6698 proof provenance for algebraic-flag extension
  CubeJerry
  committed
  65cfe81
- Extend clean-helper low-span bounds to algebraic target flags
  CubeJerry
  committed
  a079d89