Halmos- samfunnene
Bevis du kan bygge på.
Utforsk innlegg med bevis som er godtatt av Lean- kjernen.
Verifiserte bevis
4 poster-
Simple verification test: 1 + 1 = 2
verifisert -
A simple proof, hope it works
verifisert -
Every finite division ring is commutative
verifisert -
\sqrt{2} is irrational, and the kernel agrees
verifisert