∫ Утверждение Mathlib
lift_injective
Mathlib.Order.DirectedInverseSystem
URI: https://scilib.ai/kg/mathlib#DirectLimit.lift_injective
∫ Утверждение Mathlib
Mathlib.Order.DirectedInverseSystem
URI: https://scilib.ai/kg/mathlib#DirectLimit.lift_injective