2025-09-30 18:42
Mathlib/CategoryTheory/Limits/Constructions/Over/Connected.lean
chore(CategoryTheory/Limits): generalise from `Over` to `CostructuredArrow` (#30074) …
Added CategoryTheory.CostructuredArrow.CreatesConnected.natTransInCostructuredArrow