Skip to content

Research: degree-controlled cyclic inverse bound by root reflection (no new kappa) - #803

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
alephnan:research/rational-circle-bound
Oct 14, 2026
Merged

Research: degree-controlled cyclic inverse bound by root reflection (no new kappa)#803
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
alephnan:research/rational-circle-bound

Clarify PR803 analytic proof and source audit

a0f15ce
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs