Theorem IsOpen.upperSemicontinuous_indicator

Modification history