https://whataifound.org/finding/2026-09-03-koethe-conjecture-matrix-form
Lean disproof of Krempa's matrix form of the Koethe conjecture: graded Formally verified |...
Sep 3, 2026 - Lean disproof of Krempa's matrix form of the Koethe conjecture is graded formally verified on whataifound.org, with the AI's role graded autonomous. A...
s matrixkoethe conjectureformally verifiedleandisproof
https://www.eyso.org/about-us-archive/conductors/anthony-krempa
Anthony Krempa – Elgin Youth Symphony Orchestras
Anthony Krempa Philharmonia Conductor Anthony Krempa lives in the Chicago area, but hails from Southeast Michigan where he grew up. He received his bachelors...
symphony orchestrasanthonykrempaelginyouth