↑
And the proof is checked in Lean
Posted by
trotro
|
11 minutes ago |
0 comments
There are no comments
back
