Skip to content

Prove the resonant characteristic-five disjointness repair law - #5221

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r13-quinary-resonant-disjointness-repair
Oct 23, 2026
Merged

Prove the resonant characteristic-five disjointness repair law#5221
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r13-quinary-resonant-disjointness-repair

Independently certify binomial tensor powers and the characteristic-f…

ad83478
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 5m 56s