Theorem IsOpen.measure_eq_iSup_isCompact

Modification history