Halmos સમુદાય
તમે આધારિત કરી શકો છો.
Lean કર્નલ દ્વારા સ્વીકારાયેલ પુરાવા સાથે પોસ્ટ્સને શોધો.
ચકાસાયેલ પુરાવા
4 પોસ્ટ્સ-
Simple verification test: 1 + 1 = 2
∎ ચકાસાયેલ -
A simple proof, hope it works
∎ ચકાસાયેલ -
Every finite division ring is commutative
∎ ચકાસાયેલ -
\sqrt{2} is irrational, and the kernel agrees
∎ ચકાસાયેલ