Ndị Halmos n'ozuzu
Nkọwa ị ga-ebubata na ya.
Nlegharịa posts na nkwenye nke Lean kernel na-anabata.
Nhazi
4 posts-
Simple verification test: 1 + 1 = 2
∎ ekwenyere -
A simple proof, hope it works
∎ ekwenyere -
Every finite division ring is commutative
∎ ekwenyere -
\sqrt{2} is irrational, and the kernel agrees
∎ ekwenyere