∫ Утверждение Mathlib
Mathlib.Combinatorics.Colex
URI: https://scilib.ai/kg/mathlib#Finset.Colex.mem_initSeg_self
← MathLib Explorer