∫ Утверждение Mathlib
disjoint_iff_inter_eq_empty
Mathlib.Data.Finset.Lattice.Lemmas
URI: https://scilib.ai/kg/mathlib#Finset.disjoint_iff_inter_eq_empty
∫ Утверждение Mathlib
Mathlib.Data.Finset.Lattice.Lemmas
URI: https://scilib.ai/kg/mathlib#Finset.disjoint_iff_inter_eq_empty