mathlib
9101c48b - docs(number_theory/sum_two_squares): Update docs (#13593)

Commit

3 years ago

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.

Author

vihdzp

Parents

045fc443

mathlib 9101c48b - docs(number_theory/sum_two_squares): Update docs (#13593)

mathlib
9101c48b - docs(number_theory/sum_two_squares): Update docs (#13593)