Def FundamentalGroup.fundamentalGroupMulEquivOfPath

Modification history

2023-05-18 07:49

Mathlib/AlgebraicTopology/FundamentalGroupoid/FundamentalGroup.lean

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

Added FundamentalGroup.fundamentalGroupMulEquivOfPath View on Github →