# Commit 2021-05-15 08:16 fc94b47f

View on Github →feat(counterexamples): a counterexample on the Pettis integral (#7553) Phillips (1940) has exhibited under the continuum hypothesis a bounded weakly measurable function which is not Pettis-integrable. We formalize this counterexample.