Skip to content

fix(lean,#16638): reaccénter Lean-20 PFR Entropy Method (filtre decide étendu) - #16978

Closed
jsboige wants to merge 3 commits into
mainfrom
feature/16638-deaccent-lean20-pfr
Closed

jsboige wants to merge 3 commits into
mainfrom
feature/16638-deaccent-lean20-pfr

Commits

Commits on Sep 20, 2026

Commits on Sep 21, 2026