A polynomial Freiman-Ruzsa inverse theorem for function fields

A function-field variant of Marton's conjecture, otherwise known as the polynomial Freiman Ruzsa theorem for finite fields, is formulated and proved.