Theorem FundamentalGroupoidFunctor.projLeft_map

Modification history

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