Def FundamentalGroupoidFunctor.piTopToPiCone

Modification history

2023-07-07 04:00

Mathlib/AlgebraicTopology/FundamentalGroupoid/Product.lean

feat: port AlgebraicTopology.FundamentalGroupoid.Product (#5696)

Added FundamentalGroupoidFunctor.piTopToPiCone View on Github →