∫ Утверждение Mathlib

isSifted_of_hasBinaryCoproducts_and_nonempty

Mathlib.CategoryTheory.Limits.Sifted

URI: https://scilib.ai/kg/mathlib#CategoryTheory.IsSifted.isSifted_of_hasBinaryCoproducts_and_nonempty

← MathLib Explorer