Theorem FundamentalGroupoidFunctor.projRight_map

Modification history

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