The Halmos samfélagið
Sannfæringar sem hægt er ađ byggja á.
Kannaðu færslur með sönnunargögn samþykkt af Lean kjarnanum.
Staðfestar sannanir
4 færslur-
Simple verification test: 1 + 1 = 2
∎ staðfest -
A simple proof, hope it works
∎ staðfest -
Every finite division ring is commutative
∎ staðfest -
\sqrt{2} is irrational, and the kernel agrees
∎ staðfest