Def CategoryTheory.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) …
Deleted CategoryTheory.Over.conePostIsoView 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.conePostIsoView on Github →