pairwise_disjoint_powersetCard — Mathlib · SciLib

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

pairwise_disjoint_powersetCard

Mathlib.Data.Finset.Powerset

URI: https://scilib.ai/kg/mathlib#Finset.pairwise_disjoint_powersetCard

← MathLib Explorer