Theorem ContFract.convs_eq_convs'

Modification history

2025-09-24 03:26
Mathlib/Algebra/ContinuedFractions/ConvergentsEquiv.lean
chore: remove some 'nonrec' (#19907) …
Added ContFract.convs_eq_convs'View on Github →