Skip to content

Update Mathlib/CategoryTheory/SmallObject/Iteration/Basic.lean #162202

Update Mathlib/CategoryTheory/SmallObject/Iteration/Basic.lean

Update Mathlib/CategoryTheory/SmallObject/Iteration/Basic.lean #162202