Repository navigation

Hurwitz/Hadamard cluster: state proved results directly, drop Statement wrappers - #1093

Merged

PerAlexandersson merged 5 commits into

mainfrom

chore/wrappers-hurwitz

Oct 5, 2026

Commits on Oct 2, 2026

Restate proved Garloff-Wagner, Hermite-Biehler, Obreschkoff and threshold-matrix results directly

PerAlexandersson
and
claude
committed
f159c82
Retire refuted Hurwitz Schur-product tree; state Hadamard and Schur-Szego results directly

PerAlexandersson
and
claude
committed
08be740
Wrap long docstring line

PerAlexandersson
and
claude
committed
1443021
Drop Lace/Hermite-Biehler propositions left without consumers

PerAlexandersson
and
claude
committed
1a3be7c

Commits on Oct 5, 2026

Merge remote-tracking branch 'origin/main' into chore/wrappers-hurwitz
PerAlexandersson
committed
6a0b4d7