សហគមន៍ 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
∎ បានផ្ទៀងផ្ទាត់