Bulshada Halmos
Xujayooyin aad ku dhisi kartaa.
Ka faallooda posts la caddayn ay aqbaleen Lean kernel.
Xujaannada la xaqiijiyay
4 Qoraal-
Simple verification test: 1 + 1 = 2
∎ la xaqiijiyay -
A simple proof, hope it works
∎ la xaqiijiyay -
Every finite division ring is commutative
∎ la xaqiijiyay -
\sqrt{2} is irrational, and the kernel agrees
∎ la xaqiijiyay