feat: §18.6 vdPolymerFamilies_sum regularity in t 4-layer wraps (16 thm) — #1344 - #1585

Merged

phasetr merged 2 commits into

mainfrom

feat/gj-18-6-vdsum-regularity

May 4, 2026

Commits on May 4, 2026

chore: open §18.6 vdPolymerFamilies_sum regularity 4-layer bundle PR (Part of #1344)
phasetr
committed
0256731
feat: §18.5 vdPolymerFamilies_sum regularity in t 4-layer wraps

phasetr
and
claude
committed
5cfe75a