Komunita Halmos
Dôkazy, na ktorých môžete stavať.
Preskúmajte príspevky s dôkazmi akceptovanými Lean jadrom.
Overené dôkazy
4 Príspevky-
Simple verification test: 1 + 1 = 2
∎ overené -
A simple proof, hope it works
∎ overené -
Every finite division ring is commutative
∎ overené -
\sqrt{2} is irrational, and the kernel agrees
∎ overené