Theorem LowerSemicontinuous.isOpen_preimage

Modification history