Def CategoryTheory.Ind

Modification history

2024-11-13 21:29
Mathlib/CategoryTheory/Limits/Indization/Category.lean
feat: the category of Ind-objects (#18881)
Added CategoryTheory.IndView on Github →