Repository navigation

feat(lean,#2874): KT_trivial_alexander DISCHARGED (FR+EN) — sorry 9->8 - #15460

Merged

jsboige merged 2 commits into

lean/2874-conway-proof-splitfrom

lean/2874-kt-proof-split

Sep 11, 2026

Merged

feat(lean,#2874): KT_trivial_alexander DISCHARGED (FR+EN) — sorry 9->8#15460
jsboige merged 2 commits into
lean/2874-conway-proof-splitfrom
lean/2874-kt-proof-split

Commits on Sep 10, 2026
- feat(lean,#2874): KT_trivial_alexander DISCHARGED (FR+EN) — sorry 9->8
  jsboige
  committed
  f4fa6e7
Commits on Sep 11, 2026
- Merge branch 'lean/2874-conway-proof-split' into lean/2874-kt-proof-split
  jsboige
  authored
  ca956fd