Convex sets are null-measurable #

Let E be a finite dimensional real vector space, let μ be a Haar measure on E, let s be a convex set in E. Then the frontier of s has measure zero (see Convex.addHaar_frontier), hence s is a NullMeasurableSet (see Convex.nullMeasurableSet).

Haar measure of the frontier of a convex set is zero.

A convex set in a finite dimensional real vector space is null measurable with respect to an additive Haar measure on this space.