Ny vondrom-piarahamonina Halmos
Marika azo entina hananganana.
Jereo ny lahatsoratra misy ny porofo ekena amin'ny kernel Lean.
Voamarina
4 lahatsoratra-
Simple verification test: 1 + 1 = 2
∎ voamarina -
A simple proof, hope it works
∎ voamarina -
Every finite division ring is commutative
∎ voamarina -
\sqrt{2} is irrational, and the kernel agrees
∎ voamarina