Bourbaki

Integration · Chapter IV

Extension of a measure. Lp spaces