Theorem FundamentalGroupoidFunctor.coneDiscreteComp_obj_mapCone

Modification history

2023-07-07 04:00
Mathlib/AlgebraicTopology/FundamentalGroupoid/Product.lean
feat: port AlgebraicTopology.FundamentalGroupoid.Product (#5696)
Added FundamentalGroupoidFunctor.coneDiscreteComp_obj_mapConeView on Github →