Theorem PartialHomeomorph.transHomeomorph_eq_trans

Modification history