fix(lean,#1453,#17756): Angel.lean + Angel_en.lean - header cleanup (revue ai-01 5324529283, tete e13c3f67a4) - #17756

Merged

myia-ai-01 merged 11 commits into

mainfrom

feature/1453-angel-kge2-wins-devil-sorry

Sep 26, 2026

Commits on Sep 26, 2026

fix(lean,#1453,#17756): retirer la pseudo-declaration angel_k_ge_2_wins_devil + baseline 2→1

jsboige
and
claude
committed
048e9d2
fix(lean,#1453,#17756): corriger 4 phrases post-amend (revue ai-01 5324529283)

jsboige
and
claude
committed
e9af00d
fix(lean,#17756,#1453): reformulation Gacs d'apres PDF archive

jsboige
and
claude
committed
4ab5e37
fix(lean,#1453,#17756): Angel.lean + Angel_en.lean - header cleanup post-revue ai-01
jsboige
committed
e13c3f6
fix(lean,#17756): Gacs citation verbatim + retrait fragment orphelin (FR+EN)

jsboige
and
claude
committed
3641b3b
fix(lean,#17756): accentuer la prose française dans les docstrings FR
jsboige
committed
8c44a61
fix(lean,#17756): accentuer l'en-tete, l.36-40 et bloc /-! fin de fichier
jsboige
committed
7dcfc57