mathlib
2ec6de7d - feat(topology/connected): sufficient conditions for the preimage of a connected set to be connected (#10289)

Commit

4 years ago

feat(topology/connected): sufficient conditions for the preimage of a connected set to be connected (#10289) and other simple connectedness results Co-authored-by: Johan Commelin <johan@commelin.net>

Author

YaelDillies

Parents

e8386bd4

mathlib 2ec6de7d - feat(topology/connected): sufficient conditions for the preimage of a connected set to be connected (#10289)

mathlib
2ec6de7d - feat(topology/connected): sufficient conditions for the preimage of a connected set to be connected (#10289)