Theorem IsOpen.upperSemicontinuousOn_indicator

Modification history