Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_compl.dual

Modification history

2022-11-27 23:52

src/order/bounded_order.lean

chore(order/bounded_order): split (#17730) …

Modified is_compl.dual View on Github →

2022-05-24 10:24

src/order/bounded_order.lean

chore(order/bounded_order): Golf `disjoint` API (#14194) …

Added is_compl.dual View on Github →