mathlib
894ff7ad - doc(number_theory/{pell, sum_of_four_squares}): docstring to pell (#6030)

Commit

4 years ago

doc(number_theory/{pell, sum_of_four_squares}): docstring to pell (#6030) and additionally fixing the syntax for the docstring of sum_of_four_squares.

Author

Julian-Kuelshammer

Parents

0aed8b1e

mathlib 894ff7ad - doc(number_theory/{pell, sum_of_four_squares}): docstring to pell (#6030)

mathlib
894ff7ad - doc(number_theory/{pell, sum_of_four_squares}): docstring to pell (#6030)