mathlib3
489bc58f - 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

Parents