docs(number_theory/sum_two_squares): Update docs (#13593)
docs(number_theory/sum_two_squares): Update docs (#13593)

We add a remark for an alternate name for the theorem, and a todo note for a generalization of it.





leanprover-community/mathlib,leanprover-community/mathlib