*): TeXify docstrings (#18459)

Commit

2 years ago

doc(algebra/continued_fractions/*): TeXify docstrings (#18459) Improve readability of continued fractions in the docstrings by randering them via LaTeX.

Author

MichaelStollBayreuth

Parents

0324bd3f

mathlib3 2738d2ca - doc(algebra/continued_fractions/*): TeXify docstrings (#18459)

mathlib3
2738d2ca - doc(algebra/continued_fractions/*): TeXify docstrings (#18459)