Repository navigation

feat(lean,#16753): MathUniverse -- annexe A de R16 (structure finie, Aut(S), equivalence decidable) - #20111

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/16753-muh-annex-a

Oct 10, 2026

Commits on Oct 9, 2026
- feat(lean,#16753): MathUniverse -- annexe A de R16 (structure finie, Aut(S), equivalence decidable)
  
  jsboige
  and
  claude
  committed
  0055dfa
- fix(docs,#16753): attribuer le module MathUniverse a l'arc B (#16741), pas arc A
  
  jsboige
  and
  claude
  committed
  4a46809
Commits on Oct 10, 2026
- Fix(#20111): nommer l'organe existant tegmark_muh_lean (organ-first, #13564)
  
  jsboige
  and
  claude
  committed
  0f0fc9e