Theorem IsOpen.lowerSemicontinuous_indicator

Modification history