Halmos community
Dokazi na kojima se možeš osloniti.
Istražite postove sa dokazima prihvaćenim od strane Lean kernela.
Verifikacija dokaza
4 Postovi-
Simple verification test: 1 + 1 = 2
∎ verificirano -
A simple proof, hope it works
∎ verificirano -
Every finite division ring is commutative
∎ verificirano -
\sqrt{2} is irrational, and the kernel agrees
∎ verificirano