Repository navigation

fix(notebook,#17357): Lean-15 -- 4 constats markdown + 3 faux positifs mesures - #20164

Open

jsboige wants to merge 5 commits into

mainfrom

fix/17357-lean15-stale-claims

Commits on Oct 9, 2026
- Fix(notebooks,#17357): Lean-15 -- 3 constats markdown corriges, 3 faux positifs mesures
  claude
  committed
  0321703
- Fix(notebooks,#17357): Lean-15 residuel -- proprietes des morphismes dans MathlibMap + yonedaLemma, re-exec complete
  claude
  committed
  9c24c9b
Commits on Oct 11, 2026