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

subAt_pullSub

Mathlib.SetTheory.Descriptive.Tree

URI: https://scilib.ai/kg/mathlib#Descriptive.Tree.subAt_pullSub

← MathLib Explorer