The Halmos community
நீங்கள் கட்ட முடியும் சான்றுகள்.
லியன் கெர்னல் ஏற்றுக் கொண்ட நிரூபணங்களுடன் பதிவுகளை ஆராயவும்.
சரிபார்க்கப்பட்ட நிரூபணங்கள்
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
∎ சரிபார்க்கப்பட்டது