Theorem LocalHomeomorph.trans_equiv_eq_trans

Modification history