Def CategoryTheory.Limits.IndObjectPresentation.ofCocone

Modification history

2024-03-24 20:38

Mathlib/CategoryTheory/Limits/Indization/IndObject.lean

feat: ind-objects are closed under isomorphism (#11623)

Added CategoryTheory.Limits.IndObjectPresentation.ofCocone View on Github →