Theorem Partition.rel_iff_partOf_eq_partOf_of_mem

Modification history

2026-04-14 15:28
Mathlib/Order/Partition/Basic.lean
feat(Order/Partition): every partition has `IsRepFun` (#36691) …
Added Partition.rel_iff_partOf_eq_partOf_of_memView on Github →