A Coq Formalization of the Bochner integral. - Sylvie Boldo; François Clément; Louise Leclerc (CoRR, 2022)