Theorem Finpartition.mem_part_iff_part_eq_part

Modification history

2024-06-22 19:13
Mathlib/Order/Partition/Finpartition.lean
feat: forward direction of Turán's theorem (#11990) …
Added Finpartition.mem_part_iff_part_eq_partView on Github →