Theorem PartialHomeomorph.lift_openEmbedding_trans_apply

Modification history