pairwiseDisjoint_range_singleton — Mathlib · SciLib

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

pairwiseDisjoint_range_singleton

Mathlib.Data.Finset.Pairwise

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

← MathLib Explorer