Skip to content

Docs(lean,#24634): trois groundings faux au pin (zeta et convexite sont deja dans Mathlib) - #24749

Open
jsboige wants to merge 1 commit into
mainfrom
fix/lean-grounding-faux-pins
Open

Docs(lean,#24634): trois groundings faux au pin (zeta et convexite sont deja dans Mathlib)#24749
jsboige wants to merge 1 commit into
mainfrom
fix/lean-grounding-faux-pins

Docs(lean,#24634): corriger trois groundings faux au pin (zeta, conve…

d05b0ba
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar