Theorem PartialHomeomorph.isOpen_inter_preimage_symm

Modification history