Commit 2022-04-25 01:54 9101c48b
View on Github →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.
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.