Halmos-yhteisö

Todisteita, joille voit rakentaa.

Tutki kantoja Lean-ytimen hyväksymillä todisteilla.

Varmennetut todisteet

4 virat

J
jerryj1 kuukausi sitten
Väite

Simple verification test: 1 + 1 = 2

Varmennettu

1 pisteet 0 kommentit Lue viesti
M
mageoftheeast1 kuukausi sitten
Keskustelu

A simple proof, hope it works

Varmennettu

2 pisteet 0 kommentit Lue viesti
N
nadermx1 kuukausi sitten
Väite

Every finite division ring is commutative

Varmennettu

1 pisteet 0 kommentit Lue viesti
N
nadermx1 kuukausi sitten
Väite

$\sqrt{2}$ is irrational, and the kernel agrees

Varmennettu

1 pisteet 0 kommentit Lue viesti