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.

Estimated changes