Theorem FundamentalGroupoidFunctor.prodToProdTop_map

Modification history

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