Def CategoryTheory.CostructuredArrow.Over.conePostIso

Modification history

2025-09-30 18:42

Mathlib/CategoryTheory/Limits/Constructions/Over/Connected.lean

chore(CategoryTheory/Limits): generalise from `Over` to `CostructuredArrow` (#30074) …

Added CategoryTheory.CostructuredArrow.Over.conePostIso View on Github →