mathlib3
df6f6e24 - feat(topology/homeomorph): add `homeomorph.Pi_congr_right` (#16527)

Commit

3 years ago

feat(topology/homeomorph): add `homeomorph.Pi_congr_right` (#16527) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

ADedecker

Committer

b-mehta

Parents