Cộng đồng Halmos
Bằng chứng mà anh có thể dựa vào.
Khám phá các bài viết với các chứng minh được chấp nhận bởi hạt nhân Lean.
Chứng minh đã được kiểm tra
4 bài viết-
Simple verification test: 1 + 1 = 2
∎ xác nhận -
A simple proof, hope it works
∎ xác nhận -
Every finite division ring is commutative
∎ xác nhận -
\sqrt{2} is irrational, and the kernel agrees
∎ xác nhận