Theorem Continuous.exists_lift_sigma

Modification history

2024-07-26 00:02

Mathlib/Topology/Connected/Basic.lean

chore: split `Topology.Connected.Basic` (#15144) …

Modified Continuous.exists_lift_sigma View on Github →

2023-06-30 17:15

Mathlib/Topology/Connected.lean

feat: lift a continuous map from a connected space to a sigma type (#4325) …

Added Continuous.exists_lift_sigma View on Github →