∫ Утверждение Mathlib
instIsSerreClassInverseImageOfPreservesFiniteLimitsOfPreservesFiniteColimits
Mathlib.CategoryTheory.Abelian.SerreClass.Basic
URI: https://scilib.ai/kg/mathlib#CategoryTheory.ObjectProperty.instIsSerreClassInverseImageOfPreservesFiniteLimitsOfPreservesFiniteColimits