Repository navigation

Import the disproof of the Köthe conjecture (Krempa's matrix form) - #408

Merged

Vilin97 merged 4 commits into

mainfrom

claude/daily-import-koethe-2026-09-10

Sep 10, 2026

Merged

Import the disproof of the Köthe conjecture (Krempa's matrix form)#408
Vilin97 merged 4 commits into
mainfrom
claude/daily-import-koethe-2026-09-10

Commits on Sep 10, 2026
- Import the disproof of the Köthe conjecture (Krempa's matrix form)
  
  Vilin97
  and
  claude
  committed
  244f57d
- Match file headers to the upstream NOTICE copyright line (Tom Adamczewski / Epoch AI)
  
  Vilin97
  and
  claude
  committed
  f2200ee
- Speed up the two measured hot spots
  
  Vilin97
  and
  claude
  committed
  05960c8
- Merge branch 'main' into claude/daily-import-koethe-2026-09-10
  Vilin97
  authored
  ad9a36b