Levi's monotone convergence theorem

GPTKB entity