Def CategoryTheory.ProdPreservesConnectedLimits.γ₂

Modification history

2024-10-14 12:17

Mathlib/CategoryTheory/Limits/Connected.lean

chore: unused arguments (#17348)

Modified CategoryTheory.ProdPreservesConnectedLimits.γ₂ View on Github →

2023-03-13 13:27

Mathlib/CategoryTheory/Limits/Connected.lean

feat: port CategoryTheory.Limits.Connected (#2830)

Added CategoryTheory.ProdPreservesConnectedLimits.γ₂ View on Github →