Theorem directed_of_chain
Modification history
2022-03-24 13:01
src/order/zorn.lean
chore(order/zorn): Review (#12175) …
Deleted directed_of_chainView on Github →2021-05-31 17:20
src/order/zorn.lean
chore(order/zorn): add module docstring (#7767) …
Modified directed_of_chainView on Github →2020-04-13 08:52
src/order/filter/basic.lean
refactor(order/filter): refactor filters infi and bases (#2384) …
Modified directed_of_chainView on Github →2018-09-20 17:44
order/filter.lean
refactor(order/filter): move directed to order.basic, swap definition …
Modified directed_of_chainView on Github →2017-08-02 16:21
algebra/lattice/filter.lean
fix(*): fix wrt changes in lean
Modified directed_of_chainView on Github →2017-08-02 15:24
algebra/lattice/filter.lean
refactor(*): switch from order_pair to partial_order
Modified directed_of_chainView on Github →