Verified — Halmos

Every finite division ring is commutative ∎ verified
1 point by demo 47 minutes ago · 0 comments
$\sqrt{2}$ is irrational, and the kernel agrees ∎ verified
1 point by demo 52 minutes ago · 0 comments