Def FundamentalGroup.fundamentalGroupMulEquivOfPathConnected

Modification history

2023-05-18 07:49

Mathlib/AlgebraicTopology/FundamentalGroupoid/FundamentalGroup.lean

feat: port AlgebraicTopology.FundamentalGroupoid.FundamentalGroup (#4051)

Added FundamentalGroup.fundamentalGroupMulEquivOfPathConnected View on Github →