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

instIsWellOrderContinuousNat

Mathlib.CategoryTheory.Limits.Shapes.Preorder.WellOrderContinuous

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.instIsWellOrderContinuousNat

← MathLib Explorer