Moment determinacy on a compact interval (source code)

= Moment determinacy on a compact interval

Two <probability measures> supported on one compact interval are equal if all their moments are equal. Indeed, equality on monomials gives equality on <polynomials>, the <Weierstrass approximation theorem> extends it to every continuous function on the interval, and <compactly supported continuous functions determine a finite Borel measure>.