Skip to content

Prove real eigenvalues of totally nonnegative matrices are nonnegative - #413

Merged
PerAlexandersson merged 1 commit into
mainfrom
proof/tn-real-eigenvalues
Aug 22, 2026
Merged

Prove real eigenvalues of totally nonnegative matrices are nonnegative#413
PerAlexandersson merged 1 commit into
mainfrom
proof/tn-real-eigenvalues

Prove real eigenvalues of totally nonnegative matrices are nonnegative

5cd55e5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar