Theorem Finpartition.part_eq_of_mem

Modification history

2025-03-08 18:10
Mathlib/Order/Partition/Finpartition.lean
chore(Finpartition): review API, golf (#21551)
Modified Finpartition.part_eq_of_memView on Github →
2024-06-22 19:13
Mathlib/Order/Partition/Finpartition.lean
feat: forward direction of Turán's theorem (#11990) …
Added Finpartition.part_eq_of_memView on Github →