Def PartialHomeomorph.transHomeomorph

Modification history