fix(lean,#17357): Lean-21 F1/F3/F4 -- prose alignee sur la borne reelle noise_norm_tail - #20098

Oct 10, 2026

fix(lean,#17357): Lean-21 F1/F3/F4 -- prose alignee sur la borne reelle noise_norm_tail#20098
myia-ai-01 merged 1 commit into
mainfrom
fix/17357-lean21

fix(lean,#17357): Lean-21 F1/F3/F4 -- prose alignee sur la borne reelle noise_norm_tail (bilaterale, sans dimension)