Halmos kopiena
Pierādījumi, uz kuriem var balstīties.
Pārbaudīt ziņas ar pierādījumiem, kas pieņemti ar Lean kodolu.
Pārbaudītie pierādījumi
4 amati-
Simple verification test: 1 + 1 = 2
pārbaudīts -
A simple proof, hope it works
pārbaudīts -
Every finite division ring is commutative
pārbaudīts -
\sqrt{2} is irrational, and the kernel agrees
pārbaudīts