Skip to content

Fix(lean,#24143): Knots.Invariant_en.lean -- miroir EN aligne sur le canonique FR (22 -> 0 HARD) - #24602

Open
jsboige wants to merge 1 commit into
mainfrom
fix/lean-i18n-invariant-en
Open

Fix(lean,#24143): Knots.Invariant_en.lean -- miroir EN aligne sur le canonique FR (22 -> 0 HARD)#24602
jsboige wants to merge 1 commit into
mainfrom
fix/lean-i18n-invariant-en

Fix(i18n,#24143): aligner le miroir EN de Knots.Invariant sur le cano…

ed0f032
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar