Η κοινότητα Halmos
Αποδείξεις που μπορείτε να χτίσετε.
Εξερευνήστε τις δημοσιεύσεις με αποδείξεις αποδεκτές από τον πυρήνα Lean.
Επαληθευμένες αποδείξεις
4 θέσεις-
Simple verification test: 1 + 1 = 2
∎ verified -
A simple proof, hope it works
∎ verified -
Every finite division ring is commutative
∎ verified -
\sqrt{2} is irrational, and the kernel agrees
∎ verified