Theorem IsOpen.lowerSemicontinuousOn_indicator

Modification history