# On Lara Rodr\'iguez' full conjecture for double zeta values in function fields

## TL;DR

This paper proves two of Lara Rodre1guez's conjectured formulas for double zeta values in function fields and corrects errors in the remaining conjectures, advancing understanding of harmonic product formulas in this area.

## Contribution

It provides proofs for two conjectured formulas and corrects and proves the remaining two, clarifying the structure of double zeta values in function fields.

## Key findings

- Proved two conjectured formulas for double zeta values.
- Corrected and proved the remaining two formulas.
- Enhanced understanding of harmonic product relations in function fields.

## Abstract

This paper discusses four formulae conjectured by J. A. Lara Rodr\'iguez 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. While we detect and correct errors in the last two formulae, and prove the corrected ones.