Iqela leHalmos
Iimvavanyo onokuthi uphuhlise kuzo.
Iiposi ze Lean kernel
Iinkcukacha eziqinisekisiweyo
4 Iiposi-
Simple verification test: 1 + 1 = 2
∎ iqinisekisiwe -
A simple proof, hope it works
∎ iqinisekisiwe -
Every finite division ring is commutative
∎ iqinisekisiwe -
\sqrt{2} is irrational, and the kernel agrees
∎ iqinisekisiwe