< back
#lean4
Correlated tags:
#ITP
2
2
From blogspot.com
2 2
As well as using the many lemmas and theorems in Mathlib, we can also write our own. Here we'll create a small but convenient lemma about th...
15h ago
Showing first 1 out of 1