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

pullSub_nil

Mathlib.SetTheory.Descriptive.Tree

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

← MathLib Explorer