Skip to content

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

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

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

Build

succeeded Dec 26, 2024 in 8m 37s