Mathlib v3 is deprecated. Go to Mathlib v4

Def order.preimage

Modification history

2021-07-19 07:28
src/order/basic.lean
chore(order/basic): whitespaces and caps (#8359)
Modified order.preimageView on Github →
2018-09-21 00:09
order/basic.lean
fix(*): fix build
Modified order.preimageView on Github →
2018-09-20 17:44
order/basic.lean
refactor(order/filter): move directed to order.basic, swap definition …
Modified order.preimageView on Github →
2017-12-20 23:25
data/ordinal.lean
refactor(data/ordinal): rearrange files, more cofinality
Modified order.preimageView on Github →
2017-12-10 08:36
data/ordinal.lean
feat(data/ordinal): ordinal numbers
Added order.preimageView on Github →