Commit 871954b
committed
Update to Lean v4.21.0-rc2
1 parent 08dc3d3 commit 871954b
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
1 parent 08dc3d3 commit 871954b
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
0 commit comments