Repository navigation

Add: knot_lean Phase 4a - minimum vrai de croisements (def sInf + invariance prouvees) - #18592

Merged

myia-ai-01 merged 1 commit into

mainfrom

feature/2874-minimal-crossing

Oct 1, 2026

Merged

Add: knot_lean Phase 4a - minimum vrai de croisements (def sInf + invariance prouvees)#18592
myia-ai-01 merged 1 commit into
mainfrom
feature/2874-minimal-crossing

Commits on Sep 30, 2026
- Add: minimum vrai de croisements -- definition sInf + invariance prouvees (#2874 Phase 4a)
  
  jsboige
  and
  claude
  committed
  67b618a