Theorem CategoryTheory.Limits.IsIndObject.map

Modification history

2024-03-24 20:38

Mathlib/CategoryTheory/Limits/Indization/IndObject.lean

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

Added CategoryTheory.Limits.IsIndObject.map View on Github →