Theorem SimplyConnectedSpace.paths_homotopic

Modification history

2023-07-07 13:47

Mathlib/AlgebraicTopology/FundamentalGroupoid/SimplyConnected.lean

feat: port AlgebraicTopology.FundamentalGroupoid.SimplyConnected (#5759)

Added SimplyConnectedSpace.paths_homotopic View on Github →