∫ Утверждение Mathlib
mem_upShadow_iterate_iff_exists_mem_card_add
Mathlib.Combinatorics.SetFamily.Shadow
URI: https://scilib.ai/kg/mathlib#Finset.mem_upShadow_iterate_iff_exists_mem_card_add
∫ Утверждение Mathlib
Mathlib.Combinatorics.SetFamily.Shadow
URI: https://scilib.ai/kg/mathlib#Finset.mem_upShadow_iterate_iff_exists_mem_card_add