Def CategoryTheory.Limits.Cocone.equivStructuredArrow

Modification history

2024-08-19 18:48
Mathlib/CategoryTheory/Limits/ConeCategory.lean
chore: remove unnecessary uses of CategoryTheory.Equivalence.mk (#15919) …
Modified CategoryTheory.Limits.Cocone.equivStructuredArrowView on Github →
2023-03-11 14:23
Mathlib/CategoryTheory/Limits/ConeCategory.lean
feat: Port CategoryTheory.Limits.ConeCategory (#2767)
Added CategoryTheory.Limits.Cocone.equivStructuredArrowView on Github →