∫ Утверждение Mathlib
mem_iff_index_eq
Mathlib.Data.Setoid.Partition
URI: https://scilib.ai/kg/mathlib#IndexedPartition.mem_iff_index_eq
∫ Утверждение Mathlib
Mathlib.Data.Setoid.Partition
URI: https://scilib.ai/kg/mathlib#IndexedPartition.mem_iff_index_eq