mathlib documentation

measure_theory.decomposition.unsigned_hahn

Unsigned Hahn decomposition theorem #

This file proves the unsigned version of the Hahn decomposition theorem.

Main statements #

Tags #

Hahn decomposition

Hahn decomposition theorem