Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-01-07 07:47 134625f5

View on Github →

chore(algebra/continued_fractions): golf some proofs (#18082) Also use option.bind instead of do notation.

Estimated changes