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

_example

Mathlib.CategoryTheory.MorphismProperty.TransfiniteComposition

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape._example

← MathLib Explorer