Theorem LowerSemicontinuous.isClosed_preimage

Modification history