elementary number theory: state Fermat's theorem on sums of squares
elementary number theory: state Fermat's theorem on sums of squares

avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof