Theorem order_iso.is_simple_lattice
Modification history
2021-12-06 05:02
src/order/atoms.lean
refactor(order/atoms): is_simple_order from is_simple_lattice (#10537) …
Deleted order_iso.is_simple_latticeView on Github →2021-11-23 13:11
src/order/atoms.lean
refactor(*): split `order_{top,bot}` from `lattice` hierarchy (#9891) …
Modified order_iso.is_simple_latticeView on Github →2021-11-10 17:25
src/order/atoms.lean
refactor(order): order_{top,bot} as mixin (#10097) …
Modified order_iso.is_simple_latticeView on Github →