On Lara Rodríguez’ full conjecture for double zeta values in function fields

This paper discusses four formulae conjectured by Lara Rodríguez on certain power series in function fields, which yield a “harmonic product” formula for Thakur’s double zeta values. We prove affirmatively the first two formulae, detect and correct errors in the last two formulae, and prove the corrected ones.