Theorem Homeomorph.isClosed_preimage

Modification history