Theorem Details
import Mathlib
theorem four_squares (n : Nat) : ∃ (a b c d : Nat), n = a ^ 2 + b ^ 2 + c ^ 2 + d ^ 2 :=
sorry
Bounty: 0.0003 ETH
Status: Closed
Proof
requestTxHash: ca83b5285cc546d88dfea01d0b1214f22ca101fcfd0b8131bec205a6c94d1192