Profinite): Any continuous bijection of profinite spaces is an isomorphism. (#7430)

Commit

4 years ago

feat(topology/category/Profinite): Any continuous bijection of profinite spaces is an isomorphism. (#7430) Co-authored-by: Adam Topaz <adamtopaz@users.noreply.github.com>

Author

adamtopaz

Parents

30f3788c

mathlib 4bd1c836 - feat(topology/category/Profinite): Any continuous bijection of profinite spaces is an isomorphism. (#7430)

mathlib
4bd1c836 - feat(topology/category/Profinite): Any continuous bijection of profinite spaces is an isomorphism. (#7430)