Commit 2adcc72
leanprover-community-mathlib4-bot
Update lean-toolchain for leanprover/lean4#12490
1 parent 1b7514c commit 2adcc72
File tree
0 file changed
+0
-0
lines changed0 file changed
+0
-0
lines changed{{ message }}
1 parent 1b7514c commit 2adcc72
0 commit comments