Skip to content

fix(lean,#16977): REPAIR-3 morphologique map REACCENT (3 donne + 0 prouve fautifs) - #16998

Closed
jsboige wants to merge 1 commit into
feature/16638-deaccent-lean15-grothendieckfrom
fix/c1319-repair3-morpho-pr16977
Closed

fix(lean,#16977): REPAIR-3 morphologique map REACCENT (3 donne + 0 prouve fautifs)#16998
jsboige wants to merge 1 commit into
feature/16638-deaccent-lean15-grothendieckfrom
fix/c1319-repair3-morpho-pr16977

Commits

Commits on Sep 20, 2026