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

lift_obj

Mathlib.Combinatorics.Quiver.Push

URI: https://scilib.ai/kg/mathlib#Quiver.Push.lift_obj

← MathLib Explorer