∫ Утверждение Mathlib
instIsIsoFunctorαGroupoidObjTopCatGrpdFundamentalGroupoidFunctorOfCarrierHomotopicMapsNatIso
Mathlib.AlgebraicTopology.FundamentalGroupoid.InducedMaps
URI: https://scilib.ai/kg/mathlib#FundamentalGroupoidFunctor.instIsIsoFunctorαGroupoidObjTopCatGrpdFundamentalGroupoidFunctorOfCarrierHomotopicMapsNatIso