Def FundamentalGroupoidFunctor.preservesProduct

Modification history

2024-11-19 08:25
Mathlib/AlgebraicTopology/FundamentalGroupoid/Product.lean
refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …
Deleted FundamentalGroupoidFunctor.preservesProductView on Github →
2023-07-07 04:00
Mathlib/AlgebraicTopology/FundamentalGroupoid/Product.lean
feat: port AlgebraicTopology.FundamentalGroupoid.Product (#5696)
Added FundamentalGroupoidFunctor.preservesProductView on Github →