Skip to content

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
Merged

feat(lean,#16753): MathUniverse -- annexe A de R16 (structure finie, Aut(S), equivalence decidable)#20111
myia-ai-01 merged 3 commits into
mainfrom
feature/16753-muh-annex-a

Fix(#20111): nommer l'organe existant tegmark_muh_lean (organ-first, …

0f0fc9e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar