Theorem IsOpen.measure_eq_iSup_isClosed

Modification history