local_homeomorph): add `local_equiv.pi` and `local_homeomorph.pi` (#6574)

Commit

5 years ago

feat(data/local_equiv,topology/local_homeomorph): add `local_equiv.pi` and `local_homeomorph.pi` (#6574)

Author

urkud

Parents