Skip to content

Independently certify #4532's finite figures: abstract witness, counterexample, p7/p16 root applications (no new κ) - #4537

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:gate-existence-check
Oct 22, 2026
Merged

Independently certify #4532's finite figures: abstract witness, counterexample, p7/p16 root applications (no new κ)#4537
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:gate-existence-check

Commits

  1. Commits on Oct 22, 2026