Skip to content

Fix link to widgets in mathlib3 documentation#342

Open
m4lvin wants to merge 1 commit intoleanprover:masterfrom m4lvin:patch-1
+1-1

Commits

Commits on Sep 4, 2024