Def CategoryTheory.Over.conePost

Modification history

2025-09-30 18:42
Mathlib/CategoryTheory/Limits/Constructions/Over/Connected.lean
chore(CategoryTheory/Limits): generalise from `Over` to `CostructuredArrow` (#30074) …
Deleted CategoryTheory.Over.conePostView on Github →
2025-09-27 10:51
Mathlib/CategoryTheory/Limits/Constructions/Over/Connected.lean
feat(AlgebraicGeometry): inverse limits and schemes of finite type (#25941) …
Added CategoryTheory.Over.conePostView on Github →