Zajednica Halmos
Dokazi na kojima možeš graditi.
Istražite postove s dokazima prihvaćen od strane Lean jezgra.
Provjereni dokazi
4 postovi-
Simple verification test: 1 + 1 = 2
potvrđeno -
A simple proof, hope it works
potvrđeno -
Every finite division ring is commutative
potvrđeno -
\sqrt{2} is irrational, and the kernel agrees
potvrđeno