Theorem PartialHomeomorph.preimage_closure

Modification history