refactor(Mathlib/Algebra/ContinuedFractions/*): change the definition of regular continuous fractions#13590
Closed
Komyyy wants to merge 57 commits intomasterfrom Komyyy/RCF
+199-152
Commits
Commits on May 25, 2024
- committed
- committed
Commits on May 26, 2024
- committed
- committed
Commits on May 27, 2024
Commits on May 31, 2024
Commits on Jun 5, 2024
Commits on Jun 6, 2024
Commits on Jun 7, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 2, 2024
Commits on Jul 3, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed