Theorem Partition.Rel.symm

Modification history

2026-04-14 15:28
Mathlib/Order/Partition/Basic.lean
feat(Order/Partition): every partition has `IsRepFun` (#36691) …
Modified Partition.Rel.symmView on Github →
2026-04-05 15:16
Mathlib/Order/Partition/Basic.lean
feat(Order/Partition): add `Rel`, relation induced by partition on Set (#36991) …
Added Partition.Rel.symmView on Github →