Theorem UpperSemicontinuous.isOpen_preimage

Modification history