Theorem PartialHomeomorph.lift_openEmbedding_symm_target

Modification history