Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-24 08:13 201174d0

View on Github →

feat(algebra/continued_fractions): add basic defs/lemmas for continued fractions (#1433)

  • feat(algebra/continued_fractions): add basic defs/lemmas for continued fractions
  • Rename termiantes_at to terminated_at, use long names for cont. fracts.
  • Fix indentation, remove subfolders, fix docstrings

Estimated changes