Commit 2023-07-20 05:23 5070d547
View on Github →chore: fix a name (#6015)
Rename LocalHomeomorph.trans_equiv_eq_trans
to LocalHomeomorph.transHomeomorph_eq_trans
.
Also fix the module docstring.
chore: fix a name (#6015)
Rename LocalHomeomorph.trans_equiv_eq_trans
to LocalHomeomorph.transHomeomorph_eq_trans
.
Also fix the module docstring.