Metamath Proof Explorer


Table of Contents - 20.3.17.15. Caratheodory's extension theorem: measure on RR ^ N