Skip to content

feat(matrix): derive irreducibility from adjacent positivity - #428

Merged
PerAlexandersson merged 2 commits into
mainfrom
proof/issue-421-oscillatory-missing-theory
Sep 1, 2026
Merged

feat(matrix): derive irreducibility from adjacent positivity#428
PerAlexandersson merged 2 commits into
mainfrom
proof/issue-421-oscillatory-missing-theory

feat(matrix): preserve principal spectra under block conjugation

d7cddc2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar