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

of_obj

Mathlib.Combinatorics.Quiver.Push

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

← MathLib Explorer