Mathlib v3 is deprecated. Go to Mathlib v4

Theorem order_iso.map_at_bot

Modification history

2021-10-21 02:55
src/order/filter/at_top_bot.lean
chore(*): bump to lean 3.34.0 (#9824) …
Modified order_iso.map_at_botView on Github →
2020-12-05 07:50
src/order/filter/at_top_bot.lean
feat(order/filter/at_top_bot): `order_iso` maps `at_top` to `at_top` (#5236)
Added order_iso.map_at_botView on Github →