Theorem preimage_connectedComponent_connected
Modification history
2024-11-11 19:06
Mathlib/Topology/Connected/Clopen.lean
chore(Topology): Namespace `Inducing`, `Embedding`... (#15993) …
Modified preimage_connectedComponent_connectedView on Github →