Repository navigation

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

Commits on Oct 23, 2026
- Prove the resonant characteristic-five disjointness repair law
  JoyboyBrian
  committed
  d307669
- Independently certify binomial tensor powers and the characteristic-five similarity
  JoyboyBrian
  committed
  ad83478