mathlib
134625f5 - chore(algebra/continued_fractions): golf some proofs (#18082)

Commit

2 years ago

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

Author

urkud

Parents