Skip to content

Golf the 2x2 positive-definiteness proof - #519

Merged
PerAlexandersson merged 1 commit into
mainfrom
refactor/bezoutian-posdef-golf
Sep 4, 2026
Merged

Golf the 2x2 positive-definiteness proof#519
PerAlexandersson merged 1 commit into
mainfrom
refactor/bezoutian-posdef-golf

Commits

Commits on Sep 4, 2026