mathlib
c85b4d15 - chore(algebra/continued_fractions): golf 2 proofs (#18070)

Commit

2 years ago

chore(algebra/continued_fractions): golf 2 proofs (#18070)

Author

urkud

urkud

Parents

Loading