Theorem disjoint.symm
Modification history
2022-11-27 23:52
src/order/bounded_order.lean
chore(order/bounded_order): split (#17730) …
Modified disjoint.symmView on Github →2022-05-24 10:24
src/order/bounded_order.lean
chore(order/bounded_order): Golf `disjoint` API (#14194) …
Modified disjoint.symmView on Github →2020-08-21 03:53
src/order/bounded_lattice.lean
chore(order/bounded_lattice): use `⦃⦄` in `disjoint.symm` (#3893)
Modified disjoint.symmView on Github →