A Coq Formalization of the Bochner integral

Published: February 10, 2022